Foundations of logic programming
Foundations of logic programming
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)
A problem-oriented inferential database system
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
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PROSQL: a Prolog programming interface with SQL/DS
Proceedings from the first international workshop on Expert database systems
Towards an integrated database-Prolog system
Proceedings from the first international workshop on Expert database systems
Towards a unified approach for expert and database systems
Proceedings from the first international workshop on Expert database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Describing Prolog by its interpretation and compilation
Communications of the ACM
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
PROLOG Database System
Implementation techniques for main memory database systems
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
Proceedings of the Third International Conference on Data Engineering
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Theory of Relational Databases
Theory of Relational Databases
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Fast Query Processing in Deductive Databases
IEEE Software
A Study on the Structure of Linear Recursion
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases
IEEE Transactions on Knowledge and Data Engineering
| Hi-index | 0.00 |
Various ways of introducing deductive capability into a database system through the use of logic are examined. The inference mechanism of Prolog and its use in deductive databases are introduced. Different approaches to designing deductive database systems according to a taxonomy are described. Examples are provided for each approach, and their limitations are discussed.