Filters








51 Hits in 3.4 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.  ...  The structure of the Aditi deductive database prot- otype is based on a variant of the client-server model.  ... 

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  
This overview is not a complete survey of all efforts that have taken place in the development of deductive database systems.  ...  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.  ... 
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  
INTRODUCTION Deductive database systems are database management systems whose query language and (usually) storage structure are designed around a logical model of data.  ...  OPTIMIZATION TECHNIQUES Perhaps the hardest problem in the implementation of deductive database systems is designing the query optimizer.  ... 
doi:10.1016/0743-1066(94)00039-9 fatcat:z75hsj363jcwrdic4ymyi7aop4

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.  ...  Conf. on Database Theory (1988) 46. Morris, K., UUman, J. D., Van Gelder, Α.: Design Overview of the NAIL! System. Proc. 3rd Int. Conf. on Logic Programming (1986) 47.  ... 
doi:10.1007/978-3-642-78545-0_19 fatcat:ltaekduyjbcotpu3lurg2sjtky

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.  ...  CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming.  ...  We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
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.  ...  CORAL is a deductive system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming.  ...  We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
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  ...  Gallaire, Minker, and Nicolas stated that logic and databases was a field in its own right. This was the first time that this designation was made.  ...  The full paper is dedicated in honor of Hervé Gallaire and Jean-Marie Nicolas with whom I have worked as co-author, co-editor, colleague, and friend and who have helped to make the field of deductive databases  ... 
doi:10.1609/aimag.v18i3.1304 dblp:journals/aim/Minker97 fatcat:6foa4j2a45cabojbsyxj7rwpfq

The Relationlog system prototype

Mengchi Liu
2001 Software, Practice & Experience  
See Reference [31] for a survey of these deductive database systems.  ...  Various set-oriented evaluation strategies specific for such kinds of deductive databases have been the main focus of extensive research [14-23] and a number of deductive database systems or prototypes  ...  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

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

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  ...  Adlti [20] is a multi-user, disk-based, deductive database system.  ... 
doi:10.1145/170088.170134 dblp:conf/cikm/Derr93 fatcat:63d5a2pq2vahfee5zlxiqzkpse

DECLARE and SDS: Early efforts to commercialize deductive database technology

Werner Kle�ling, Helmut Schmidt, Werner Strau�, Gerhard D�nzinger
1994 The VLDB journal  
SDS offers the functionality of deductive reasoning in a distributed, heterogeneous database environment.  ...  The Smart Data System (SDS) and its declarative query language, Declarative Reasoning, represent the first large-scale effort to commercialize deductive database technology.  ...  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

The CORAL deductive system

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri
1994 The VLDB journal  
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.  ...  In Section 11 we mention several applications that have been developed using the CORAL system, to illustrate the utility of deductive database systems in practice.  ...  We would like to acknowledge the contributions of the following people to the CORAL system.  ... 
doi:10.1007/bf01228880 fatcat:yvr6ltdmsfd4tcooccrwhuxghe
« Previous Showing results 1 — 15 out of 51 results