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.
Type de document :
[Research Report] RR-1153, INRIA. 1990
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:09:24
Dernière modification le : vendredi 16 septembre 2016 - 15:11:37
Document(s) archivé(s) le : mardi 12 avril 2011 - 22:58:07



  • 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〉



Consultations de la notice


Téléchargements de fichiers