Skip to main content
SpringerLink
Log in

Database Internal Applications

  • Chapter
Active Rules in Database Systems

Part of the book series: Monographs in Computer Science ((MCS))

Abstract

In this chapter, we consider the use of active rules to implement not user applications but the database facilities that will later be used to support application development. In particular, we focus on three important classes of database functionality to which rules have been applied: integrity maintenance; support for database views and data integration; and the implementation of advanced transaction models. Finally, we consider the suitability of ECA rules for the implementation of DBMS internals in general, and draw some guidelines for the kind of behavior to which they can be most successfully applied.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. N. Bassiliades and P.M.D Gray. CoLan: A Functional Constraint Language and Its Implementation. Data and Knowledge Engineering, 14:203–249, 1994.

    Article  Google Scholar 

  2. C. Bussler and S. Jablonski. Implementing Agent Coordination for Workflow Management Systems Using Active Database Systems. In J. Widom and S. Charavarthy, editors, Proc. 4th Int. Workshop on Research in Data Engineering (RIDE-ADS), pages 53–59. IEEE, 1994.

    Google Scholar 

  3. J.A. Blakeley, P.-A. Larson, and F.W. Tompa. Efficiently Updating Materialised Views. In C. Zaniolo, editor, Proc. of SIGMOD’ 86, pages 61–71, Washington D.C., USA, May 1986. ACM Press.

    Google Scholar 

  4. S. Ceri, P. Fraternali, and S. Paraboschi. Constraint Management in Chimera. Data Engineering Bulletin, 17(2):4–8, June 1994.

    Google Scholar 

  5. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM TODS, 19(3):367–422, September 1994.

    Article  Google Scholar 

  6. S.S. Chawathe, H. Garcia-Molina, and J. Widom. Flexible Constraint Management for Autonomous Distributed Databases. Data Engineering Bulletin, 17(2):23–27, June 1994.

    Google Scholar 

  7. I.-M.A. Chen, R. Hull, and D. McLeod. Local Ambiguity and Derived Data Update. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 77–86, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  8. D. Cohen. Compiling Complex Database Transition Triggers. In J. Clifford, B. Lindsay, and D. Maier, editors, Proc. of SIGMOD 89, pages 225–234, Portland, Oregon, 1989. ACM Press.

    Google Scholar 

  9. NIIIP Consortium. NIIIP Reference Architecture: Concepts and Guidelines. Cycle 0, Revision 6. NIIIP Publication NTR95-01, November 1995.

    Google Scholar 

  10. P.K. Chrysanthis and K. Ramamritham. ACTA: The Saga Continues. In A.K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, Series in Data Management Systems, Chapter 10, pages 349–397. Morgan Kaufmann Publishers, San Mateo, CA, 1992.

    Google Scholar 

  11. S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In 16th Intl. Conf. on Very Large Databases, Brisbane, pages 567–577. Morgan Kaufman, 1990.

    Google Scholar 

  12. S. Ceri and J. Widom. Deriving Production Rules for Incremental View Maintenance. In R. Camps G.M. Lohman, A. Sernadas, editor, 17th Intl. Conf on Very Large Databases, pages 577–589. Morgan Kaufmann, 1991.

    Google Scholar 

  13. S. Ceri and J. Widom. Managing Semantic Heterogeneity with Production Rules and Persistent Queries. In R. Agrawal, S. Baker, and D. Bell, editors, 19th Intl. Conf. on Very Large Databases, pages 108–119. Morgan Kaufmann, 1993.

    Google Scholar 

  14. O. Diaz and S.M. Embury. Generating Active Rules from High-Level Specifications. In R. Lucas P.M.D. Gray, editor, Advanced Database Systems — Proc. British National Conference on Databases 10, pages 227–243. Springer-Verlag LNCS series, 1992.

    Google Scholar 

  15. U. Dayal, M. Hsu, and R. Ladin. Organising Long-Running Activities with Triggers and Transactions. In H. Garcia-Molina and H.V. Jagadish, editors, Proc. of SIGMOD’ 90, pages 204–214, Atlantic City, May 1990. ACM Press.

    Google Scholar 

  16. O. Diaz. Deriving Rules for Constraint Maintenance in an Object-Oriented Database. In I. Ramos A.M. Tjoa, editor, Proc. Intl. Conf. on Databases and Expert Systems DEXA, pages 332–337. Springer-Verlag, 1992.

    Google Scholar 

  17. O. Díaz. The Operational Semantics of User-Defined Relationships in Object-Oriented Database Systems. Data and Knowledge Engineering, 16(3):223–240, 1996.

    Article  Google Scholar 

  18. S.M. Embury and P.M.D. Gray. Compiling a Declarative, High-Level Language for Semantic Integrity Constraints. In R. Meersman and L. Mark, editors, Proc. of 6th IFIP TC-2 Working Conf. on Data Semantics, Atlanta, GA, May 1995. Chapman and Hall.

    Google Scholar 

  19. K. el Hindi and B. Lings. Using Truth Maintenance Systems to Solve the Data Consistency Problem. In M.L. Brodie, M. Jarke, and M.P. Papazoglou, editors, Proc. of the 2nd Intl. Conference on Cooperative Information Systems, pages 192–201, Toronto, Canada, May 1994.

    Google Scholar 

  20. S.M. Embury. Coping wih Constraint Violation: The Practical Face of Database Integrity. In S. Conrad, H.-J. Klein, and K.-D. Schewe, editors, Proc. of the 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Databases, pages 141–148, SchloßDastuhl, Germany, September 1996.

    Google Scholar 

  21. A. Geppert and K. Dittrich. Rule-Based Implementation of Transaction Model Specifications. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 127–142. Springer-Verlag, 1994.

    Google Scholar 

  22. M. Gertz. Specifying Reactive Integrity Control for Active Databases. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 62–70, Houston, Texas, USA, February 1994. IEEE Computer Society Press.

    Google Scholar 

  23. M. Gertz. An Extensible Framework for Repairing Constraint Violations. In S. Conrad, H.-J. Klein, and K.-D. Schewe, editors, Proc. of the 6th Intl. Workshop on Foundations of Models and Languages for Data and Objects: Integrity in Databases, pages 41–56, SchloßDastuhl, Germany, September 1996.

    Google Scholar 

  24. A. Geppert, M. Kradolfer, and D. Tombros. Realisation of Cooperative Agents Using an Active Object-Oriented Database Management System. In T. Sellis, editor, Proc. of 2nd Intl. Workshop on Rules in Database Systems (RIDS’ 95), Lecture Notes in Computer Science 985, pages 327–341, Glyfada, Athens, Greece, September 1995. Springer-Verlag.

    Google Scholar 

  25. M. Gertz and U.W. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In Proc. of the 9th Intl. Conference on Data Engineering (ICDE), pages 22–29, Vienna, Austria, April 1993. IEEE Computer Society.

    Google Scholar 

  26. P.M.D. Gray, A. Preece, N.J. Fiddian, W.A. Gray, T.J.M. Bench-Capon, M.J.R. Shave, N. Azarmi, M. Wiegand, M. Ashwell, M. Beer, Z. Cui, B. Diaz, S.M. Embury, K. Hui, A.C. Jones, D.M. Jones, G.J.L. Kemp, E.W. Lawson, K. Lunn, P. Marti, J. Shao, and P.R.S. Visser. KRAFT: Knowledge Fusion from Distributed Databases and Knowledge Bases. In R.R. Wagner, editor, Proc. of 8th Intl. Workshop on Database and Expert System Applications (DEXA’97), pages 682–691, Toulouse, France, September 1997. IEEE Computer Society Press.

    Google Scholar 

  27. A. Gupta and I. Singh Mumick. Maintenance of Materialised Views: Problems, Techniques and Applications. Data Engineering Bulletin, 18(2):3–18, June 1995.

    Google Scholar 

  28. S. Grufman, F. Samson, S. M. Embury, P. M. D. Gray, and T. Risch. Distributing Semantic Constraints Between Heterogeneous Databases. In A. Gray and P. Larson, editors, Proc. of 13th Intl. Conference on Data Engineering (ICDE’97), pages 33–42, Birmingham, U.K., August 1997. IEEE Computer Society Press.

    Google Scholar 

  29. J. Hammer, H. Garcia-Molina, J. Widom, W. Labio, and Y. Zhuge. The Stanford Data Warehousing Project. Data Engineering Bulletin, 18(2):41–48, June 1995.

    Google Scholar 

  30. H. Ishikawa and K. Kabota. An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. of the 19th VLDB Conference, pages 467–478, Dublin, August 1993. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  31. H.V. Jagadish and X. Qian. Integrity Maintenance in an Object-Oriented Database. In L.-Y. Yuan, editor, Proceedings of the 18th VLDB Conference, pages 469–480, Vancouver, August 1992. Morgan Kaufmann Publishers, Inc.

    Google Scholar 

  32. G. Kappel, P. Lang, S. Rausch-Schott, and W. Retschtzegger. Workflow Management Based on Objects, Rules and Roles. Data Engineering Bulletin, 18(1):11–18, March 1995.

    Google Scholar 

  33. M. Morgenstern. Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement. In Proc. Intl. Conf. on Very Large Data Bases, pages 153–299. Morgan Kaufmann, 1984.

    Google Scholar 

  34. J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, 18:227–253, 1982.

    Article  MathSciNet  MATH  Google Scholar 

  35. D. Ohsie, H.M. Dewan, S.J. Stolfo, and S. Da Silva. Performance of Incremental Update in Database Rule Processing. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 10–18, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  36. N.W. Paton. Supporting Production Rules Using ECA-Rules in an Object-Oriented Context. Information and Software Technology, 37(12):691–699, 1995.

    Article  Google Scholar 

  37. N.W. Paton, O. Diaz, and M.L. Barja. Combining Active Rules and Metaclasses for Enhanced Extensibility in Object-Oriented Systems. Data and Knowledge Engineering, 10:45–63, 1993.

    Article  Google Scholar 

  38. N.W. Paton, K. Doan, O. Díaz, and A. Jaime. Exploitation of Object-Oriented and Active Constructs in Database Interface Development. In J. Kennedy and P.J. Barclay, editors, Proc. of 3rd Intl. Workshop on User-Interfaces to Database Systems (IDS’96), Edinburgh, Scotland, July 1996.

    Google Scholar 

  39. Y. Papkonstantinou, H. Garcia-Molina, and J. Ullman. MedMaker: a Mediation Specification Subsystem Based on Declarative Specifications. In S.Y.W. Su, editor, Proc. 12th Intl. Conference on Data Engineering (ICDE’96), pages 132–141, New Orleans, February 1996. IEEE Computer Society Press.

    Google Scholar 

  40. A. Reuter and F. Schwenkreis. Contracts — a Low-Level Mechanism for Building General Purpose Workflow Systems. Data Engineering Bulletin, 18(1):4–10, March 1995.

    Google Scholar 

  41. I. Singh Mumick. The Rejuvenation of Materialised Views. In S. Bhalla, editor, Proc. of 6th Intl. Conference on Information Systems and Data Management (CISMOD’95), Bombay, India, November 1995. Springer.

    Google Scholar 

  42. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On Rules, Procedures, Caching and Views in Database Systems. In H. Garcia-Molina and H.V. Jagadish, editors, Proc. of SIGMOD’ 90, pages 281–290, Atlantic City, May 1990. ACM Press.

    Google Scholar 

  43. K.-D. Schewe and B. Talheim. Achieving Consistency in Active Databases. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 71–76, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  44. D. Toman and J. Chomicki. Implementing Temporal Integrity Constraints Using an Active Database. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94)’ Active Database Systems, pages 87–95, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  45. S. Urban and M. Desiderio. CONTEXT: A CONstraint Explanation Tool. Data and Knowledge Engineering, 8:153–183, 1992.

    Article  Google Scholar 

  46. S.D. Urban, A.P. Karadimce, and R.B. Nannapaneni. The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. In 8th Intl. Conference on Data Engineering, pages 565–572, Phoenix, Arizona, 1992. IEEE Computer Society.

    Google Scholar 

  47. T. Urpí and A. Olivé. Semantic Change Computation Optimisation in Active Databases. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 19–27, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  48. G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computer, 25(3):38–49, March 1992.

    Article  Google Scholar 

  49. H. Wang, J. Yen, and J. Wolter. A Framework for Handling Errors During the Execution of Trigger Rules for an Active Object-Oriented DBMS. In J. Widom and S. Chakravarthy, editors, Proc. of the 4th Intl. Workshop on Research Issues in Data Engineering (RIDE’94): Active Database Systems, pages 132–136, Houston, Texas, February 1994. IEEE Computer Society Press.

    Google Scholar 

  50. J.P. Yoon and L. Kerschberg. A Framework for Constraint Management in Object-Oriented Databases. In Proceedings of the 1st Intl. Conference on Information and Knowledge Management (CIKM’92), pages 292–299, Baltimore, MD, USA, 1992.

    Google Scholar 

  51. G. Zhou, R. Hull, and R. King. Generating Data Integration Mediators that Use Materialisation. Journal of Intelligent Information Systems, 6(2/3):199–221, June 1996.

    Article  Google Scholar 

  52. G. Zhou, R. Hull, R. King, and J.-C. Franchitti. Supporting Data Integration and Warehousing using H2O. Data Engineering Bulletin, 18(2):29–40, June 1995.

    Google Scholar 

Download references

Authors
  1. Suzanne M. Embury
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter M. D. Gray
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK

    Norman W. Paton

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media New York

About this chapter

Cite this chapter

Embury, S.M., Gray, P.M.D. (1999). Database Internal Applications. In: Paton, N.W. (eds) Active Rules in Database Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8656-6_19

Download citation

  • DOI: https://doi.org/10.1007/978-1-4419-8656-6_19

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4612-6448-4

  • Online ISBN: 978-1-4419-8656-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation