Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075406
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:09:24 PM
Last modification on : Thursday, February 11, 2021 - 2:50:07 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 10:58:07 PM

Identifiers

  • HAL Id : inria-00075406, version 1

Collections

Citation

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

Share

Metrics

Record views

179

Files downloads

131