HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Making deductive database a practical technology : a step forward

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 databases a practical technology. 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 facility. We present important lessons learned during the implementation of the system. Also, comparisons with related work such as LDL, STARBURST and POSTGRES are given.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:09:24 PM
Last modification on : Friday, February 4, 2022 - 3:15:20 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:58:07 PM


  • HAL Id : inria-00075406, version 1



G. Kiernan, Christophe de Maindreville, Eric Simon. Making deductive database a practical technology : a step forward. [Research Report] RR-1153, INRIA. 1990. ⟨inria-00075406⟩



Record views


Files downloads