ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Making Deductive Databases a Practical Technology: A Step Forward.

Gerald Kiernan, Christophe de Maindreville, Eric Simon: Making Deductive Databases a Practical Technology: A Step Forward. SIGMOD Conference 1990: 237-246
@inproceedings{DBLP:conf/sigmod/KiernanMS90,
  author    = {Gerald Kiernan and
               Christophe de Maindreville and
               Eric Simon},
  editor    = {Hector Garcia-Molina and
               H. V. Jagadish},
  title     = {Making Deductive Databases a Practical Technology: A Step Forward},
  booktitle = {Proceedings of the 1990 ACM SIGMOD International Conference on
               Management of Data, Atlantic City, NJ, May 23-25, 1990},
  publisher = {ACM Press},
  year      = {1990},
  pages     = {237-246},
  ee        = {http://doi.acm.org/10.1145/93597.98733, db/conf/sigmod/KiernanMS90.html},
  crossref  = {DBLP:conf/sigmod/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

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 database technology practical. The design and implementation of the RDLl 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. We discuss important practical experience gained during the implementation of the system. Also, comparisons with related work such as LDL, STARBURST and POSTGRES are given.

Copyright © 1990 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Hector Garcia-Molina, H. V. Jagadish (Eds.): Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, May 23-25, 1990. ACM Press 1990 BibTeX , SIGMOD Record 19(2), June 1990
Contents

Online Edition: ACM Digital Library


References

[Abiteboul89]
Serge Abiteboul, Eric Simon: Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theor. Comput. Sci. 78(1): 137-158(1991) BibTeX
[Brownston85]
...
[Cheiney89]
Jean-Pierre Cheiney, Christophe de Maindreville: Relational Storage and Efficient Retrieval of Rules in a Deductive DBMS. ICDE 1989: 644-651 BibTeX
[Chimenti89]
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203 BibTeX
[Dayal88]
Umeshwar Dayal, Barbara T. Blaustein, Alejandro P. Buchmann, Upen S. Chakravarthy, Meichun Hsu, R. Ledin, Dennis R. McCarthy, Arnon Rosenthal, Sunil K. Sarin, Michael J. Carey, Miron Livny, Rajiv Jauhari: The HiPAC Project: Combining Active Databases and Timing Constraints. SIGMOD Record 17(1): 51-70(1988) BibTeX
[Delcambre88]
Lois M. L. Delcambre, James N. Etheredge: The Relational Production Language: A Production Language for Relational Databases. Expert Database Conf. 1988: 333-351 BibTeX
[Guttag77]
...
[Haas89]
Laura M. Haas, Johann Christoph Freytag, Guy M. Lohman, Hamid Pirahesh: Extensible Query Processing in Starburst. SIGMOD Conference 1989: 377-388 BibTeX
[Kee85]
...
[Kiernan89]
Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65 BibTeX
[Kiernan90]
...
[Maindreville88]
Christophe de Maindreville, Eric Simon: A Production Rule-Based Approach to Deductive Databases. ICDE 1988: 234-241 BibTeX
[Maindreville88b]
Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX
[McCarthy89]
Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX
[Naqvi89]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX
[Osborn86]
Sylvia L. Osborn, T. E. Heaven: The Design of a Relational Database System with Abstract Data Types for Domains. ACM Trans. Database Syst. 11(3): 357-373(1986) BibTeX
[Regnier89]
...
[Stonebraker88a]
Michael Stonebraker: Inclusion of New Types in Relational Data Base Systems. ICDE 1986: 262-269 BibTeX
[Stonebraker88b]
Michael Stonebraker, Eric N. Hanson, Spyros Potamianos: The POSTGRES Rule Manager. IEEE Trans. Software Eng. 14(7): 897-907(1988) BibTeX
[Stonebraker89]
Michael Stonebraker, Marti A. Hearst, Spyros Potamianos: A Commentary on the POSTGRES Rule System. SIGMOD Record 18(3): 5-11(1989) BibTeX
[Tsur86]
Shalom Tsur, Carlo Zaniolo: LDL: A Logic-Based Data Language. VLDB 1986: 33-41 BibTeX
[Ullman88]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[Ullman89]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
[Valduriez89]
...
[Widom89]
Jennifer Widom, Sheldon J. Finkelstein: A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems (Extended Abstract). SIGMOD Record 18(3): 36-45(1989) BibTeX
[Wilms88]
Paul F. Wilms, Peter M. Schwarz, Hans-Jörg Schek, Laura M. Haas: Incorporating Data Types in an Extensible Database Architecture. JCDKB 1988: 180-192 BibTeX

Referenced by

  1. Stanley Y. W. Su, Ramamohanrao S. Jawadi, Prashant Cherukuri, Qiang Li, Richard Nartey: OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server. IEEE Trans. Knowl. Data Eng. 10(1): 55-75(1998)
  2. Luigi Palopoli, Riccardo Torlone: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(6): 848-862(1997)
  3. Roberta Cochrane, Hamid Pirahesh, Nelson Mendonça Mattos: Integrating Triggers and Declarative Constraints in SQL Database Sytems. VLDB 1996: 567-578
  4. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
    Contents
  5. A. Prasad Sistla, Ouri Wolfson: Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995)
  6. A. Prasad Sistla, Ouri Wolfson: Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280
  7. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: The CORAL Deductive System. VLDB J. 3(2): 161-210(1994)
  8. Françoise Fabret, Mireille Régnier, Eric Simon: An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases. VLDB 1993: 455-466
  9. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: Implementation of the CORAL Deductive Database System. SIGMOD Conference 1993: 167-176
  10. Jean-Pierre Cheiney, Gerald Kiernan, Christophe de Maindreville: A Database Rule Language Compiler Supporting Parallelism. DASFAA 1993: 279-286
  11. Eric Simon, Jerry Kiernan, Christophe de Maindreville: Implementing High Level Active Rules on Top of a Relational DBMS. VLDB 1992: 315-326
  12. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250
  13. Yu-Wang Wang, Eric N. Hanson: A Performance Comparison of the Rete and TREAT Algorithms for Testing Database Rule Conditions. ICDE 1992: 88-97
  14. Jean-Pierre Cheiney, Rosana S. G. Lanzelotte: A Model for Optimizing Deductive and Object-Oriented DB Requests. ICDE 1992: 385-392
  15. Stefano Ceri: A Declarative Approach to Active Databases. ICDE 1992: 452-456
  16. Norbert Kehrer, Gustaf Neumann: An EER Prototyping Environment and its Implemetation in a Datalog Language. ER 1992: 243-261
  17. David A. Brant, Timothy Grose, Bernie J. Lofaso, Daniel P. Miranker: Effects of Database Size on Rule System Performance: Five Case Studies. VLDB 1991: 287-296
  18. Shalom Tsur: Deductive Databases in Action. PODS 1991: 142-153
  19. Gerald Kiernan, Christophe de Maindreville: Compiling a Rule Database Program into a C/SQL Application. ICDE 1991: 388-395
  20. Béatrice Finance, Georges Gardarin: A Rule-Based Query Rewriter in an Extensible DBMS. ICDE 1991: 248-256
  21. Asterio K. Tanaka, Shamkant B. Navathe, Sharma Chakravarthy, Kamalakar Karlapalem: ER-R: An Enhanced ER Model with Situation-Action Rules to Capture Application Semantics. ER 1991: 59-75
  22. Rosana S. G. Lanzelotte, Jean-Pierre Cheiney: Adapting Relational Optimization Technology to Deductive and Object-Oriented Declarative Database Languages. DBPL 1991: 322-336
  23. Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:40:02 2009