dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Method for Change Computation in Deductive Databases.

Toni Urpí, Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992: 225-237
@inproceedings{DBLP:conf/vldb/UrpiO92,
  author    = {Toni Urp\'{\i} and
               Antoni Oliv{\'e}},
  editor    = {Li-Yan Yuan},
  title     = {A Method for Change Computation in Deductive Databases},
  booktitle = {18th International Conference on Very Large Data Bases, August
               23-27, 1992, Vancouver, Canada, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1992},
  isbn      = {1-55860-151-1},
  pages     = {225-237},
  ee        = {http://www.vldb.org/conf/1992/P225.PDF},
  crossref  = {DBLP:conf/vldb/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Change computation is an essential component in several capabilities of a deductive database, such as integrity constraints checking, materialized view maintenance and condition monitoring. In this paper, we present a general method for change computation, which is based on the use of transition and internal events rules. These rules explicitly define the insertions, deletions and modifications induced by a database update. Standard SLDNF resolution can be used to compute the induced changes, but otherprocedures could be used as well. Our method generalizes and extends previous work on change computation methods,and in some cases computes changes in a more efficient way.

Copyright © 1992 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Printed Edition

Li-Yan Yuan (Ed.): 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Morgan Kaufmann 1992, ISBN 1-55860-151-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[ABW88]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BaR86]
François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BCL89]
José A. Blakeley, Neil Coburn, Per-Åke Larson: Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. ACM Trans. Database Syst. 14(3): 369-400(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BrD88]
...
[BDM88]
François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BMM90]
François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BuC79]
Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CBB+89]
...
[CeW91]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Dat90]
...
[DaW89]
Subrata Kumar Das, M. Howard Williams: A Path Finding Method for Constraint Checking in Deductive Databases. Data Knowl. Eng. 4: 223-244(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kow78]
Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Küc91]
Volker Küchenhoff: On the Efficient Computation of the Difference Between Concecutive Database States. DOOD 1991: 478-502 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Llo87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LIT84]
John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LIS91]
John W. Lloyd, John C. Shepherdson: Partial Evaluation in Logic Programming. J. Log. Program. 11(3&4): 217-242(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Oli89]
Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989: 3-11 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Oli91]
Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991: 513-523 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RCB+89]
Arnon Rosenthal, Sharma Chakravarthy, Barbara T. Blaustein, José A. Blakeley: Situation Monitoring for Active Databases. VLDB 1989: 455-464 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SaK88]
Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Urp91a]
...
[Urp91b]
Toni Urpí: An Approach to Monitoring Changes in Deductive Databases. DAISD 1991: 87-113 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WiF90]
Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WCL91]
Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay: Implementing Set-Oriented Production Rules as an Extension to Starburst. VLDB 1991: 275-285 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 22:00:51 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page