On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
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
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
IEEE Transactions on Knowledge and Data Engineering
Evaluation of Recursive Queries with Extended Rules in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Reformulation in Deductive Databases
Proceedings of the Seventh International Conference on Data Engineering
On Exclusive Disjunctions in Deductive Database
Proceedings of the 3rd International Conference on Database Systems for Advanced Applications (DASFAA)
Substitution-based Compilation of Extended Rules in Deductive Databases
Proceedings of the 10th International Conference on Automated Deduction
Hi-index | 0.00 |
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: The EDB consists of a set of positive ground formula, not necessarily Horn; The IDB includes rules that are Horn and may have existential quantifiers; The IC includes range-restricted Horn clauses with no existential quantification.