Making deductive database a practical technology : a step forward - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1990

Making deductive database a practical technology : a step forward

G. Kiernan
  • Function : Author
Christophe de Maindreville
  • Function : Author
Eric Simon
  • Function : Author


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.


Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1153.pdf (1.48 Mo) Télécharger le fichier

Dates and versions

inria-00075406 , version 1 (24-05-2006)


  • 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⟩
135 View
47 Download


Gmail Facebook Twitter LinkedIn More