The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
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
Preserved Fulltext
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
1997
Computer communication review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
The VLDB journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1993
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
1993
Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
1995
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1993
Grundlagen und Anwendungen der Künstlichen Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
.: 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
1993
Proceedings of the 1993 ACM SIGMOD international conference on Management of data - SIGMOD '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
1993
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
1997
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2001
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
1994
The VLDB journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1993
Proceedings of the second international conference on Information and knowledge management - CIKM '93
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
The VLDB journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
1994
The VLDB journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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