ACM SIGMOD Anthology VLDB dblp.uni-trier.de

On Implementing a Language for Specifying Active Database Execution Models.

Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs, Jaime Castillo, Martha Escobar-Molano, Shih-Hui Lu, Junhui Luo, Chiu Tsang, Gang Zhou: On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993: 441-454
@inproceedings{DBLP:conf/vldb/GhandeharizadehHJCELLTZ93,
  author    = {Shahram Ghandeharizadeh and
               Richard Hull and
               Dean Jacobs and
               Jaime Castillo and
               Martha Escobar-Molano and
               Shih-Hui Lu and
               Junhui Luo and
               Chiu Tsang and
               Gang Zhou},
  editor    = {Rakesh Agrawal and
               Se{\'a}n Baker and
               David A. Bell},
  title     = {On Implementing a Language for Specifying Active Database Execution
               Models},
  booktitle = {19th International Conference on Very Large Data Bases, August
               24-27, 1993, Dublin, Ireland, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1993},
  isbn      = {1-55860-152-X},
  pages     = {441-454},
  ee        = {db/conf/vldb/GhandeharizadehHJCELLTZ93.html},
  crossref  = {DBLP:conf/vldb/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

A key issue when incorporating rules into database systems concerns understanding alternative semantics of rule application. The database programming language Heraclitus[Alg,C] is an extension of C that supports the relational algebra and novel constructs related to the specification of these semantics. In particular, the language supports deltas as "first-class citizens"- these are values corresponding to database updates, which may or may not be applied. Deltas are useful in representing the effect of rule firings, and for representing virtual database states, as they arise in the specification of several active database systems. Unlike previous work on differential files and hypothetical relations, Heraclitus supports operators for combining deltas, and also alternative implementations that incorporate the impact of deltas into conventional database operators (e.g., join). The framework also appears useful in connection with hypothetical database access, version control, specifying concurrency protocols, and the resolution of update conflicts. This paper describes the design and preliminary implementation of Heraclitus[Alg,C]. Two strategies for providing access to deltas have been implemented, one hash-based and the other sort-based. Initial evaluation of system performance demonstrates the feasibility of the language.

Copyright © 1993 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 ... BibTeX

Printed Edition

Rakesh Agrawal, Seán Baker, David A. Bell (Eds.): 19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings. Morgan Kaufmann 1993, ISBN 1-55860-152-X
Contents BibTeX

References

[Abi88]
Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX
[BDT83]
Dina Bitton, David J. DeWitt, Carolyn Turbyfill: Benchmarking Database Systems A Systematic Approach. VLDB 1983: 8-19 BibTeX
[BFKM85]
...
[BM91]
Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349 BibTeX
[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 BibTeX
[CDKK85]
Hong-Tai Chou, David J. DeWitt, Randy H. Katz, Anthony C. Klug: Design and Implementation of the Wisconsin Storage System. Softw., Pract. Exper. 15(10): 943-962(1985) BibTeX
[CDRS86]
Michael J. Carey, David J. DeWitt, Joel E. Richardson, Eugene J. Shekita: Object and File Management in the EXODUS Extensible Database System. VLDB 1986: 91-100 BibTeX
[CHM92]
...
[Coh86]
...
[CW90]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX
[CW91]
Stefano Ceri, Jennifer Widom: Deriving Production Rules for Incremental View Maintenance. VLDB 1991: 577-589 BibTeX
[CW92]
Stefano Ceri, Jennifer Widom: Managing Semantic Heterogeneity with Production Rules and Persistent Queues. VLDB 1993: 108-119 BibTeX
[dMS88]
Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX
[GHJ92]
Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Implementation of Delayed Updates in Heraclitus. EDBT 1992: 261-276 BibTeX
[Han89]
Eric N. Hanson: An Initial Report on The Design of Ariel: A DBMS With an Integrated Production Rule System. SIGMOD Record 18(3): 12-19(1989) BibTeX
[HJ91a]
Richard Hull, Dean Jacobs: On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990: 59-85 BibTeX
[HJ91b]
Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 BibTeX
[HW92]
...
[IN88]
Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116 BibTeX
[JH91]
Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428 BibTeX
[KDM88]
Angelika M. Kotz, Klaus R. Dittrich, Jutta A. Mülle: Supporting Semantic Rules by a Generalized Event/Trigger Mechanism. EDBT 1988: 76-91 BibTeX
[MD89]
Dennis R. McCarthy, Umeshwar Dayal: The Architecture Of An Active Data Base Management System. SIGMOD Conference 1989: 215-224 BibTeX
[Mor83]
Matthew Morgenstern: Active Databases as a Paradigm for Enhanced Computing Environments. VLDB 1983: 34-42 BibTeX
[MP90]
...
[SdM88]
Eric Simon, Christophe de Maindreville: Deciding Whether a Production Rule is Relational Computable. ICDT 1988: 205-222 BibTeX
[SIG89]
Timos K. Sellis: Special Issue on Rule Management and Processing in Expert Database Systems - Letter from the Guest Editor. SIGMOD Record 18(3): 3-4(1989) BibTeX
[SJGP90]
Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos: On Rules, Procedures, Caching and Views in Data Base Systems. SIGMOD Conference 1990: 281-290 BibTeX
[SL76]
Dennis G. Severance, Guy M. Lohman: Differential Files: Their Application to the Maintenance of Large Databases. ACM Trans. Database Syst. 1(3): 256-267(1976) BibTeX
[Sto81]
Michael Stonebraker: Operating System Support for Database Management. Commun. ACM 24(7): 412-418(1981) BibTeX
[Sto92]
Michael Stonebraker: The Integration of Rule Systems and Database Systems. IEEE Trans. Knowl. Data Eng. 4(5): 415-423(1992) BibTeX
[WF90]
Jennifer Widom, Sheldon J. Finkelstein: Set-Oriented Production Rules in Relational Database Systems. SIGMOD Conference 1990: 259-270 BibTeX
[Wie92]
Gio Wiederhold: Mediators in the Architecture of Future Information Systems. IEEE Computer 25(3): 38-49(1992) BibTeX
[WS83]
John Woodfill, Michael Stonebraker: An Implementation of Hypothetical Relations. VLDB 1983: 157-166 BibTeX
[ZH90]
Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421 BibTeX

Referenced by

  1. Detlef Zimmer, Rainer Unland: On the Semantics of Complex Events in Active Database Management Systems. ICDE 1999: 392-399
  2. Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599(1997)
  3. Timothy Griffin, Richard Hull: A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242
  4. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Trans. Database Syst. 21(3): 370-426(1996)
  5. Jennifer Widom: The Starburst Active Database Rule System. IEEE Trans. Knowl. Data Eng. 8(4): 583-595(1996)
  6. Michael Doherty, Richard Hull, Mohammed Rupawalla: Structures for Manipulating Proposed Updates in Object-Oriented Databases. SIGMOD Conference 1996: 306-317
  7. Sudarshan S. Chawathe, Anand Rajaraman, Hector Garcia-Molina, Jennifer Widom: Change Detection in Hierarchically Structured Information. SIGMOD Conference 1996: 493-504
  8. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
    Contents
  9. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
  10. Gang Zhou, Richard Hull, Roger King, Jean-Claude Franchitti: Data Integration and Warehousing Using H2O. IEEE Data Eng. Bull. 18(2): 29-40(1995)
  11. Timothy Griffin, Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339
  12. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
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:45:56 2009