Abstract
This paper presents the design and implementation of a deductive database system. RDL1, is the production rule language for this system. This language is an extension of logic based languages towards the support of updates and complex domains. Different features of this language are described with its applications. The general architecture of the system is presented highlighting integration with a relational database system. Then, three original features of the system are discussed: extensibility through the definition of end user data types, query optimization techniques, and the extensibility of the control strategy. Future improvements and extensions conclude the paper.
Index Terms
- The design and implementation of an extendible deductive database system
Recommendations
Design and Implementation of the Relationlog Deductive Database System
DEXA '98: Proceedings of the 9th International Workshop on Database and Expert Systems ApplicationsWe describe the design and implementation of Relationlog, a persistent deductive database system. Unlike other related systems such as Aditi, CORAL, LDL, LOLA and Nail-Glue, Relationlog supports effective storage, efficient access and inference of large ...
Implementation of the CORAL deductive database system
SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of dataCORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-...
Comments