The aditi deductive database system

Authors:
Jayen Vaghani;Kotagiri Ramamohanarao;David B. Kemp;Zoltan Somogyi;Peter J. Stuckey;Tim S. Leask;James Harland
Affiliations:
University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia;University of Melbourne and RMIT, Parkville, Victoria, Australia
Venue:
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Year:
1994

Citing 25
Cited 20

Implementation of logical query languages for databases

ACM Transactions on Database Systems (TODS)
Design overview of the NAIL] system

Proceedings on Third international conference on logic programming
A superimposed codeword indexing scheme for very large Prolog databases

Proceedings on Third international conference on logic programming
Magic sets and other strange ways to implement logic programs (extended abstract)

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The generalized counting method for recursive logic queries

Proceedings on International conference on database theory
On the power of magic

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A generalization of the differential approach to recursive query evaluation

Journal of Logic Programming
A logical language for data and knowledge bases

A logical language for data and knowledge bases
Rule ordering bottom-up fixpoint evaluation of logic programs

Proceedings of the sixteenth international conference on Very large databases
Right-, left-, and multi-linear rule transformations that maintain context information

Proceedings of the sixteenth international conference on Very large databases
Recursive query processing: fundamental algorithms and the DedGin system

Prolog and databases: implementations and new directions
Grid files for efficient Prolog clause access

Prolog and databases: implementations and new directions
The NU-Prolog deductive database system

Prolog and databases: implementations and new directions
Glue-Nail: a deductive database system

SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Efficient bottom-up computation of queries on stratified databases

Journal of Logic Programming
ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging

ACM Transactions on Database Systems (TODS)
Analysis based constraint query optimization

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Constraint propagation for linear recursive rules

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Tcl and the Tk toolkit

Tcl and the Tk toolkit
Subsumption-free bottom-up evaluation of logic programs with partially instantiated data structures

EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Magic conditions

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Design Overview of the Aditi Deductive Database System

Proceedings of the Seventh International Conference on Data Engineering
Object and File Management in the EXODUS Extensible Database System

VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Hash-Partitioned Join Method Using Dynamic Destaging Strategy

VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
MegaLog - A platform for developing Knowledge Base Management Systems

Proceedings of the Second International Symposium on Database Systems for Advanced Applications

Deductive database languages: problems and solutions

ACM Computing Surveys (CSUR)
Design and Implementation of the ROL Deductive Object-Oriented Database System

Journal of Intelligent Information Systems
Nonmonotonic reasoning in LDL++

Logic-based artificial intelligence
The logic of totally and partially ordered plans: a deductive database approach

Annals of Mathematics and Artificial Intelligence
Efficient Management of Persistent Knowledge

Journal of Intelligent Information Systems
Efficient Recursive Aggregation and Negation in Deductive Databases

IEEE Transactions on Knowledge and Data Engineering
A Deductive Database Approach to A.I. Planning

Journal of Intelligent Information Systems
A Computational Model for Functional Logic Deductive Databases

Proceedings of the 17th International Conference on Logic Programming
An Efficient Storage Manager

ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Join algorithm costs revisited

The VLDB Journal — The International Journal on Very Large Data Bases
Data and knowledge in database systems: deductive databases

Handbook of data mining and knowledge discovery
A front-end to deductive database systems for multiparadigm programming

SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A Logic Database System with Extended Functionality

COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Greedy algorithms in Datalog

Theory and Practice of Logic Programming
Agents via Mixed-Mode Computation in Linear Logic

Annals of Mathematics and Artificial Intelligence
Database query languages and functional logic programming

New Generation Computing
Query processing in the ROL system

IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Implementation of UNIDOOR, a deductive object-oriented database system

ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Case study: The furniture company: deductive databases and the scheduling problem

International Journal of Information Management: The Journal for Information Professionals

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive 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. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.