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
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Information Systems
The magic of duplicates and aggregates
Proceedings of the sixteenth international conference on Very large databases
Database systems: achievements and opportunities
Communications of the ACM
An introduction to Aditi deductive database system
Australian Computer Journal
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Automatic generation of compiled forms for linear recursions
Information Systems
Design and implementation of the glue-nail database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Suitable Algorithm for Computing Partial Transitive Closures in Databases
Proceedings of the Sixth International Conference on Data Engineering
Efficient Transitive Closure Algorithms
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
| Hi-index | 0.00 |
A deductive database system prototype, LogicBase, has been developed, with an emphasis on efficient compilation and query evaluation of application-oriented recursions in deductive databases. The system identifies different classes of recursions and compiles recursions into chain or psuedo-chain forms when appropriate. Queries posed to the compiled recursions are analyzed systematically with efficient evaluation plans generated and executed, mainly based on a chained-based query evaluation method. The system has been tested using sophisticated recursions and queries with satisfactory performance. This paper introduces the general design principles and implementation techniques of the system and discusses its strength and limitations.