Making deductive databases a practical technology: a step forward
- 1 May 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 19 (2) , 237-246
- https://doi.org/10.1145/93605.98733
Abstract
Deductive databases provide a formal framework to study rule-based query languages that are extensions of first-order logic. However, deductive database languages and their current implementations do not seem appropriate for improving the development of real applications or even sample of them. Our goal is to make deductive database technology practical. The design and implementation of the RDL1 system, presented in this paper, constitute a step toward this goal. Our approach is based on the integration of a production rule language within a relational database system, the development of a rule-based programming environment and the support of system extensibility using Abstract Data Types. We discuss important practical experience gained during the implementation of the system. Also, comparisons with related work such as LDL, STARBURST and POSTGRES are given.Keywords
This publication has 9 references indexed in Scilit:
- Fundamental properties of deterministic and nondeterministic extensions of DatalogTheoretical Computer Science, 1991
- Making deductive databases a practical technology: a step forwardPublished by Association for Computing Machinery (ACM) ,1990
- A commentary on the POSTGRES rules systemACM SIGMOD Record, 1989
- Extensible query processing in starburstPublished by Association for Computing Machinery (ACM) ,1989
- The architecture of an active database management systemPublished by Association for Computing Machinery (ACM) ,1989
- The POSTGRES rule managerIEEE Transactions on Software Engineering, 1988
- The HiPAC project: combining active databases and timing constraintsACM SIGMOD Record, 1988
- The design of a relational database system with abstract data types for domainsACM Transactions on Database Systems, 1986
- The Design of Data Type SpecificationsPublished by Defense Technical Information Center (DTIC) ,1976