Skip to main content

A rewriting technique for the analysis and the optimization of active databases

Contributed Papers

Part of the Lecture Notes in Computer Science book series (LNCS,volume 893)

Abstract

We propose a new formal semantics of active databases based on a transaction rewriting technique in the context of the relational model. A user defined transaction, which is viewed here as a sequence of atomic database updates forming a semantic unit, is translated by means of active rules into induced one(s). Those transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, confluence, equivalence and optimization are then formally investigated and characterized in a solid framework that naturally extends a known setting for relational database transactions.

Keywords

  • Active Program
  • Formal Semantic
  • Database State
  • Large Data Base
  • Execution Model

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

The work of this author has been partially supported by the ERCIM fellowship Information and Knowledge Systems.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-58907-4_19
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-49136-1
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   129.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and V. Vianu. Equivalence and Optimization of Relational Transactions. Journal of the ACM, 35(1):70–120, January 1988.

    Google Scholar 

  2. A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. In Proc. of the ACM SIGMOD International Conf. on Management of Data, pages 59–68, 1992.

    Google Scholar 

  3. S. Ceri and R. Manthey. Chimera: a model and language for active DOOD Systems. In Extending Information Systems Technology — Second International East-West Database Workshop, Klagenfurt, pages 9–21, 1994.

    Google Scholar 

  4. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proc. of the Sixteenth International Conf. on Very Large Data Bases, Brisbane, pages 566–577, 1990.

    Google Scholar 

  5. S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Proc. of the Seventeenth International Conf. on Very Large Data Bases, Barcelona, pages 577–589, 1991.

    Google Scholar 

  6. N. Gehani and H. V. Jagadish. ODE as an active database: constraints and triggers. In Proc. of the Seventeenth International Conf. on Very Large Data Bases, Barcelona, pages 327–336, 1991.

    Google Scholar 

  7. G. Guerrini, D. Montesi, and G. Rodriguez. Implementing active rules in object database systems. Technical Report n. 62–94, Politecnico di Milano, 1994.

    Google Scholar 

  8. P. W. P. J. Grefen. Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. In Proc. of the Nineteenth International Conf. on Very Large Data Bases, Dublin, pages 581–591, 1993.

    Google Scholar 

  9. E. N. Hanson and J. Widom. Rule Processing in Active Database Systems. In International Journal of Expert Systems, 6(1):83–119, 1993.

    Google Scholar 

  10. D. Karabeg and V. Vianu. Simplification rules and complete axiomatization for relational update transactions. In Proc. of the ACM Transactions on Database Systems, 16(3):439–475, September 1991.

    Google Scholar 

  11. D.R. McCarthy and U. Dayal. The architecture of an Active Data Base Management System. In Proc. of the ACM SIGMOD International Conf. on Management of Data, pages 215–224, 1989.

    Google Scholar 

  12. D. Montesi and R. Torlone. A rewriting technique for implementing active object systems. In Proc. of the International Symposium on Object-Oriented Methodologies and Systems, pag 171–188, Springer-Verlag, 1994.

    Google Scholar 

  13. D. Montesi and R. Torlone. A transaction transformation approach to active rule processing. In Proc. of the Eleventh International Conference on Data Engineering, Taipei, Taiwan, 1995. To appear.

    Google Scholar 

  14. M. Stonebraker. The integration of rule systems and database systems. IEEE Trans. on Knowledge and Data Eng., 4(5):415–423, October 1992.

    Google Scholar 

  15. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching, and views in data base systems. In Proc. of the ACM SIGMOD International Conf. on Management of Data, pages 281–290, 1990.

    Google Scholar 

  16. J. Widom and S. J. Finkelstein. Set-Oriented Production Rule in Relational Databases Systems. In Proc. of the ACM SIGMOD International Conf. on Management of Data, pages 259–270, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Montesi, D., Torlone, R. (1995). A rewriting technique for the analysis and the optimization of active databases. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58907-5

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive