Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland  Home/Search
Context Related
Links: ACM DBLP | munkora.cs.mu.oz.au/pu...mu_93_10.ps.gz cs.mu.oz.au/publicatio...mu_93_10.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: munkora.cs.mu.oz.au/publicat...TR (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive database system based on the client-server model: it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. ... (Update)
Context of citations to this paper: More
.... call supported by the Mercury compiler, calling a procedure implemented in the Aditi2 deductive database system (the successor of Aditi [107]) is not supported by the Mercury profiler, since that would require profiling the C code of Aditi2 itself. list nodes in di#erent...
...as it is possible to make as many copies as is needed to satisfy each rule. Moreover, deductive database systems such as Aditi [44], which have used a combination of backward and forward chaining in the classical case, generally compute to the xpoint , i.e. the set...
Cited by: More
A Deductive Database Approach to A.I. Planning - Brogi, Subrahmanian, Zaniolo (Correct)
System Description: KRHyper - Wernhard (2003) (Correct)
Optimising Tabling Structures for Bottom-Up Logic.. - Clayton, Cleary.. (2002) (Correct)
Active bibliography (related documents): More All
1.9: Aditi-Prolog language manual - James Harland (1992) (Correct)
0.8: Optimizing Bottom-Up Evaluation of Constraint Queries - Kemp, Stuckey (1996) (Correct)
0.6: Right-, Left- and Multi-Linear Rule Transformations That.. - David Kemp (1990) (Correct)
Similar documents based on text: More All
0.7: Aditi Users' Guide - James Harland (Correct)
0.3: An Aditi Implementation of a Flights Database - James Harland Kotagiri (1993) (Correct)
0.2: Using the Heap to Eliminate Stack Accesses - Zoltan Somogyi And (Correct)
Related documents from co-citation: More All
14: IEEE Transactions on Knowledge and Data Engineering (context) - Chimenti, Gamboa et al. - 1990
13: Magic Templates: A Spellbinding Approach to Logic Programs - Ramakrishnan - 1988
11: A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
BibTeX entry: (Update)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, and Peter J. Stuckey. The Aditi Deductive Database System. In Jan Chomicki, editor, Proceedings of the NACLP'90 Workshop on Deductive Databases. Kansas State University Technical Report TR-CS-90-14, 1990. http://citeseer.ist.psu.edu/vaghani90aditi.html More
@article{ vaghani94aditi,
author = "Jayen Vaghani and Kotagiri Ramamohanarao and David B. Kemp and Zoltan Somogyi and Peter J. Stuckey and Tim S. Leask and James Harland",
title = "The {Aditi} Deductive Database System",
journal = "VLDB Journal: Very Large Data Bases",
volume = "3",
number = "2",
pages = "245--288",
year = "1994",
url = "citeseer.ist.psu.edu/vaghani90aditi.html" }
Citations (may not include all citations):250 volume 3 of The Art of Computer Programming (context) - Knuth, searching - 1973
204 Magic sets and other strange ways to implement logic program.. (context) - Bancilhon, Maier et al. - 1986 DBLP
189 ARIES: a transaction recovery method supporting fine-granula.. (context) - Mohan, Haderle et al. - 1992
121 the power of magic - Beeri, Ramakrishnan - 1987
50 A generalization of the differential approach to recursive q.. (context) - Balbin, Ramamohanarao - 1987
41 Department of Computer Science (context) - Thom, Zobel et al. - 1988
40 Implementation of logical query languages for databases (context) - Ullman - 1985 ACM DBLP
33 Hash-partitioned join method using dynamic destaging strateg.. (context) - Nakayama, Kitsuregawa et al. - 1988
31 Magic sets and bottom-up evaluation of well-founded models - Kemp, Stuckey et al. - 1991
28 Rule ordering in bottom-up fixpoint evaluation of logic prog.. - Ramakrishnan, Srivastava et al. - 1990 ACM DBLP
25 Design overview of the Aditi deductive database system (context) - Vaghani, Ramamohanarao et al. - 1991 ACM DBLP
22 Magic conditions - Mumick, Finkelstein et al. - 1990
20 Propagating constraints in recursive deductive databases - Kemp, Ramamohanarao et al. - 1989
20 The generalized counting method for recursive logic queries - Sacca, Zaniolo - 1986
20 Efficient bottom-up computation of queries on stratified dat.. (context) - Balbin, Port et al. - 1991
17 Query restricted bottom-up evaluation of normal logic progra.. - Kemp, Stuckey et al. - 1992
13 yet another window on NAIL (context) - Morris, Naughton et al. - 1987
12 and multi-linear rule transformations that maintain context .. (context) - Kemp, Ramamohanarao et al. - 1990
9 Analysis based constraint query optimization (context) - Kemp, Stuckey - 1993
9 Implementation of recursive queries for a data language base.. (context) - Sacca, Zaniolo - 1987 DBLP
5 A superimposed codeword indexing scheme for very large Prolo.. (context) - Ramamohanarao, Shepherd - 1986
4 The NU-Prolog deductive database system (context) - Ramamohanarao, Shepherd et al. - 1988 ACM DBLP
4 Constraint propagation for linear recursive rules - Harland, Ramamohanarao - 1993
3 A new approach to supplementary magic optimisation (context) - Port, Balbin et al. - 1990
3 Theory and practice in the construction of a working sort ro.. (context) - Linderman - 1984
3 Exploiting parallelism in bottom-up computation in Aditi (context) - Leask, Ramamohanarao et al. - 1991
2 Department of Computer Science (context) - Harland, Kemp et al. - 1992
2 Experiences with a flights database (context) - Harland, Ramamohanarao - 1992
1 Aditi-Prolog language manual - Harland, Kemp et al. - 1992
1 Partial match retrieval for dynamic files using superimposed.. (context) - Ramamohanarao, Shepherd - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://munkora.cs.mu.oz.au/publications/tr_db/TR.html): More
Effective Clustering of Records for Fast Query Processing - Ramamohanarao, Harris (1996) (Correct)
Optimal Clustering of Relations in a Database System - Harris, Ramamohanarao (1994) (Correct)
Multiple Paths Join for Nested Relational Databases - Liu, Ramamohanarao (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC