Filters








50 Hits in 2.9 sec

Page 37 of Journal of Research and Practice in Information Technology Vol. 23, Issue 2 [page]

1991 Journal of Research and Practice in Information Technology  
In this paper we provide an overview of the structure and operation of Aditi, and we discuss some of the design issues that we tackled during the implementation of the system.  ...  au INFORMATION TECHNOLOGY An introduction to the Aditi deductive database system Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J.  ... 

Applying deductive database technology to network management

Nalin Sharda, Refyul Fatri, Mohammad Abid
1997 Computer communication review  
In this paper we examine the suitability of deductive database systems for Network Management application. Fundamentals of Network Management as well as deductive database systems are given.  ...  We describe a prototype Network Management system built to test the suitability of deductive database systems for Network Management.  ...  ACKNOWLEDGMENT The authors would like to thank Prof. K. Ramamohanarao and his collaborators at The University of Melbourne for access to the Beta version of the Aditi deductive database system.  ... 
doi:10.1145/251007.251013 fatcat:tjeyzmg7wnfi3o35kd2sfc7nvi

An introduction to deductive database languages and systems

Kotagiri Ramamohanarao, James Harland
1994 The VLDB journal  
There are also commercial database systems under development that have the capabilities of a deductive database. Below we give an overview of the state of development of various prototype systems.  ...  This overview is not a complete survey of all efforts that have taken place in the development of deductive database systems.  ... 
doi:10.1007/bf01228878 fatcat:z3nd6ps5znbt5b65333o4yrxda

Design and implementation of the glue-nail database system

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps
1993 SIGMOD record  
We describe the design and implementation of the Glue-Nail  ...  Acknowledgments We would like to acknowledge the contributions  ...  The user can specify join order information for each rule, or use the default left to right join order. Aditi [20] is a multi-user, disk-based, deductive database system.  ... 
doi:10.1145/170036.170065 fatcat:q36bqu7olba2vntn7qsg4nzjrq

Design and implementation of the glue-nail database system

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps
1993 Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93  
We describe the design and implementation of the Glue-Nail  ...  Acknowledgments We would like to acknowledge the contributions  ...  The user can specify join order information for each rule, or use the default left to right join order. Aditi [20] is a multi-user, disk-based, deductive database system.  ... 
doi:10.1145/170035.170065 dblp:conf/sigmod/DerrMP93 fatcat:kmjikbbqpvafbo4eclcexohqxi

A survey of deductive database systems

Raghu Ramakrishnan, Jeffrey D. Ullman
1995 The Journal of Logic Programming  
DEDUCTIVE DATABASE SYSTEM IMPLEMENTATIONS There have been a number of implementations of deductive databases.  ...  AN HISTORICAL OVERVIEW OF DEDUCTIVE DATABASES The origins of deductive databases can be traced back to work in automated theorem proving and, later, logic programming.  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

Implementation of the CORAL deductive database system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1993 Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93  
CORAL is a deductive database system that provides a modular, declarative query language/programming language.  ...  used so as to exploit the full power of the CORAL implementation.  ...  Joseph Albert worked on some aspects of the set-manipulation code; Tarun Arora implemented several utilities and built-in libraries; Tom Ball implemented an early prototype of the semi-naive evaluation  ... 
doi:10.1145/170035.170067 dblp:conf/sigmod/RamakrishnanSSS93 fatcat:gxofwznabzcchevp7xbox3opie

Implementation of the CORAL deductive database system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1993 SIGMOD record  
CORAL is a deductive database system that provides a modular, declarative query language/programming language.  ...  used so as to exploit the full power of the CORAL implementation.  ...  Joseph Albert worked on some aspects of the set-manipulation code; Tarun Arora implemented several utilities and built-in libraries; Tom Ball implemented an early prototype of the semi-naive evaluation  ... 
doi:10.1145/170036.170067 fatcat:nvrqkvbzv5fsliomn2lphmq7o4

Logic and Databases: Past, Present, and Future

Jack Minker
1997 The AI Magazine  
I review developments in the field, assess contributions, consider the status of implementations of deductive databases, and discuss future work needed in deductive databases. Articles  ...  In this article, I provide an assessment about what has been achieved in the 20 years since the field started as a distinct discipline.  ...  Acknowledgments This article is a condensation, and in some cases an expansion, of an invited keynote address presented at the Workshop on Logic in Databases in San Miniato, Italy, in 1996.  ... 
doi:10.1609/aimag.v18i3.1304 dblp:journals/aim/Minker97 fatcat:6foa4j2a45cabojbsyxj7rwpfq

The Relationlog system prototype

Mengchi Liu
2001 Software, Practice & Experience  
See Reference [37] for an overview of some of these languages.  ...  See Reference [31] for a survey of these deductive database systems.  ...  ACKNOWLEDGEMENTS The author acknowledges the contributions of the following people to the Relationlog system: Riqiang Shan, Tao Guan, Shilpesh Katragadda, Ming Zhao, Mingyuan Deng, and Sudha Srinivas.  ... 
doi:10.1002/spe.378 fatcat:jcmfavym6jcxxisujqmos6jcja

Neuere Entwicklungen der deklarativen KI-Programmierung [chapter]

Harold Boley, François Bry, Ulrich Geske
1993 Grundlagen und Anwendungen der Künstlichen Intelligenz  
.: The Aditi Deductive Database System. Proc. NACLP Workshop on Deductive Database Systems (1990) 58. Vieille, L.: Recursive Query Processing: The Power of Logic.  ...  .: Efficient Consistency Control in Deductive Databases. Proc. 2nd Int. Conf. on Database Theory (1988) 46. Morris, K., UUman, J. D., Van Gelder, Α.: Design Overview of the NAIL! System.  ... 
doi:10.1007/978-3-642-78545-0_19 fatcat:ltaekduyjbcotpu3lurg2sjtky

The Glue-Nail deductive database system: Design, implementation, and evaluation

Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps
1994 The VLDB journal  
We describe the design and implementation of the Glue-Nail deductive database system. Nail is a purely declarative query language; Glue is a procedural language used for non-query activities.  ...  We also describe the Glue-Nail benchmark suite, a set of applications developed to evaluate the Glue-Nail language and to measure the performance of the system.  ...  We would like to acknowledge the contributions of Ashish Gupta, Kate Morris, and Ken Ross, who developed code used in the previous and current versions of the Nail compiler.  ... 
doi:10.1007/bf01228879 fatcat:jh2cqcpo5fedphkysu5bl6gqie

DECLARE and SDS: Early efforts to commercialize deductive database technology

Werner Kle�ling, Helmut Schmidt, Werner Strau�, Gerhard D�nzinger
1994 The VLDB journal  
We argue that heuristic knowledge and control should be made an integral part of deductive databases.  ...  SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment.  ...  In particular we would like to thank the former members of the DECLARE team in Munich: Riidiger Azone, Olaf Biernath, Maria Friedrich, Lothar Kappen, Franz Kronseder, Eva Krfiger, Benedikt Nuiding, Elisabeth  ... 
doi:10.1007/bf01228881 fatcat:7atpx6qz6fhjdlmktuvdxubupm

Adaptive query optimization in a deductive database system

Marcia A. Derr
1993 Proceedings of the second international conference on Information and knowledge management - CIKM '93  
timization for deductive database systems and alterna- tives to reoptimization. 6.1 Query Optimifiation in Deductive Database Systems Optimization research in deductive database systems  ...  The remainder of the paper is organized as follows. Section 2 presents an overview of the Glue-Nail system architecture and describes the IGlue target language and its interpreter.  ... 
doi:10.1145/170088.170134 dblp:conf/cikm/Derr93 fatcat:63d5a2pq2vahfee5zlxiqzkpse

The CORAL deductive system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1994 The VLDB journal  
Section 4 contains an overview of the CORAL system architecture. Section 5 provides an overview of query evaluation and optimization.  ...  Since the database on which the queries are evaluated may be quite large, e cient execution of declarative queries is an important requirement of any deductive database system.  ...  Joseph Albert worked on many aspects of the set-manipulation code; Tarun Arora implemented several utilities and built-in/library routines in CORAL; Tom Ball implemented an early prototype of the semi-naive  ... 
doi:10.1007/bf01228880 fatcat:yvr6ltdmsfd4tcooccrwhuxghe
« Previous Showing results 1 — 15 out of 50 results