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. ...
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
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.
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
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.
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
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. ...
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
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. ...
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
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 ...
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
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 [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]
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. ...
.: 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
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
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.
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
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 ...
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
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.
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