ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Updates in a Rule-Based Language for Objects.

Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
@inproceedings{DBLP:conf/vldb/KramerLS92,
  author    = {Michael Kramer and
               Georg Lausen and
               Gunter Saake},
  editor    = {Li-Yan Yuan},
  title     = {Updates in a Rule-Based Language for Objects},
  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     = {251-262},
  ee        = {db/conf/vldb/KramerLS92.html},
  crossref  = {DBLP:conf/vldb/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have been proposed. The current paper presents an approach which is based on object versioning ; different versions of one object may be created and referenced during an update-process. By means of such versions it becomes possible to exert explicit control on the update process during bottom-up evaluation in a rather intuitive way. The units for updates are the result sets of base methods, i.e. methods, whose results are stored in the object-base and are not defined by rules. However, the update itself may be defined by rules. Update-programs have fixpoint semantics; the fixpoint can be computed by a bottom- up evaluation according to a certain stratification.

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.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

[Abi88]
Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Abi90]
Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. Data Knowl. Eng. 5: 263-287(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AK89]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AT91]
Riccardo Torlone, Paolo Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD 1991: 278-291 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV91]
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ban86]
François Bancilhon: A Logic-Programming/Object-Oriented Cocktail. SIGMOD Record 15(3): 11-21(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BFKM86]
...
[CCCR+90]
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CW89]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Dec90]
Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[dMS88]
Christophe de Maindreville, Eric Simon: A Production Rule-Based Approach to Deductive Databases. ICDE 1988: 234-241 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DOO89]
...
[DOO91]
...
[HJ91]
Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Kim91]
...
[KL89]
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KLW90]
Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KM90]
Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KW89]
Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LSV90]
Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LVVS90]
...
[MW87]
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[NT89]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
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
[PDR91]
Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SJGP90]
Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SZ87]
...
[Tom88]
Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull88]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WF92]
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
[ZH90]
Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:22:02 2010 by Michael Ley (ley@uni-trier.de)