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.
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
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
- 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)
- 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)
- Roberta Cochrane, Hamid Pirahesh, Nelson Mendonça Mattos:
Integrating Triggers and Declarative Constraints in SQL Database Sytems.
VLDB 1996: 567-578
- Jennifer Widom, Stefano Ceri (Eds.):
Active Database Systems: Triggers and Rules For Advanced Database Processing.
Morgan Kaufmann 1996, ISBN 1-55860-304-2
Contents - A. Prasad Sistla, Ouri Wolfson:
Temporal Triggers in Active Databases.
IEEE Trans. Knowl. Data Eng. 7(3): 471-486(1995)
- A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions and Integrity Constraints in Active Database Systems.
SIGMOD Conference 1995: 269-280
- Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri:
The CORAL Deductive System.
VLDB J. 3(2): 161-210(1994)
- Françoise Fabret, Mireille Régnier, Eric Simon:
An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases.
VLDB 1993: 455-466
- Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri:
Implementation of the CORAL Deductive Database System.
SIGMOD Conference 1993: 167-176
- Jean-Pierre Cheiney, Gerald Kiernan, Christophe de Maindreville:
A Database Rule Language Compiler Supporting Parallelism.
DASFAA 1993: 279-286
- Eric Simon, Jerry Kiernan, Christophe de Maindreville:
Implementing High Level Active Rules on Top of a Relational DBMS.
VLDB 1992: 315-326
- Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan:
CORAL - Control, Relations and Logic.
VLDB 1992: 238-250
- Yu-Wang Wang, Eric N. Hanson:
A Performance Comparison of the Rete and TREAT Algorithms for Testing Database Rule Conditions.
ICDE 1992: 88-97
- Jean-Pierre Cheiney, Rosana S. G. Lanzelotte:
A Model for Optimizing Deductive and Object-Oriented DB Requests.
ICDE 1992: 385-392
- Stefano Ceri:
A Declarative Approach to Active Databases.
ICDE 1992: 452-456
- Norbert Kehrer, Gustaf Neumann:
An EER Prototyping Environment and its Implemetation in a Datalog Language.
ER 1992: 243-261
- 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
- Shalom Tsur:
Deductive Databases in Action.
PODS 1991: 142-153
- Gerald Kiernan, Christophe de Maindreville:
Compiling a Rule Database Program into a C/SQL Application.
ICDE 1991: 388-395
- Béatrice Finance, Georges Gardarin:
A Rule-Based Query Rewriter in an Extensible DBMS.
ICDE 1991: 248-256
- 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
- Rosana S. G. Lanzelotte, Jean-Pierre Cheiney:
Adapting Relational Optimization Technology to Deductive and Object-Oriented Declarative Database Languages.
DBPL 1991: 322-336
- 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