Advertisement

Towards a design theory for database triggers

  • A. P. J. M. Siebes
  • M. H. van der Voort
  • M. L. Kersten

Abstract

Advances in the area of active database management systems require the development of a trigger design theory, which guides the user in the definition off well-behaving trigger based applications. The development of such a theory requires a formal definition of trigger semantics. This paper describes a framework for such a formalisation of triggers. That is, the parameters of trigger execution and the options for setting them are identified and discussed. Furthermore, the development of a trigger design theory is initiated with the formulation of a sufficient condition for trigger independence.

Keywords

Production Rule Design Theory Database Schema Database State Trigger System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    R. Agrawal, R. Cochrane, and B. Lindsay. On maintaining priorities an a production rule system. In Proceedings of the 3th International Workshop on DBPL, pages 479-487, 1991.Google Scholar
  2. [2]
    A. Albano, L. Cardelli, and R. Orsini. Galileo: a strongly typed, interactive conceptual language. In The ACM transactions on database systems, volume 10, 1985.Google Scholar
  3. [3]
    J.C.M. Baeten and P. Weyland. Process algebra. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1991.Google Scholar
  4. [4]
    H. Balsters, R.A. de By, and R. Zicari. Sets and constraints in an object-oriented data model. In Technical Report INF90-75 University Twente, The Netherlands, 1990.Google Scholar
  5. [5]
    C. Beeri and T. Milo. A model for active object oriented database. In Proceedings of the 17th International Conference on VLDB, pages 337-349, 1991.Google Scholar
  6. [6]
    L. Cardelli. A semantics of multiple inheritance. In Semantics of datatypes, LNCS 173, 1984.Google Scholar
  7. [7]
    S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of the 16th VLDB conference, pages 566-577, 1990.Google Scholar
  8. [8]
    S. Ceri and J. Widom. Deriving production rules for incremental view maintenance. In Proceedings of the 17th International Conference on VLDB, pages 577-589, 1991.Google Scholar
  9. [9]
    D. Cohen. Compiling complex database transition triggers. In SIGMOD RECORD, volume 18, pages 225–234, 1989.CrossRefGoogle Scholar
  10. [10]
    U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D.R. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jauhari. The hipac project: Combining active databases and timing constraints. In SIGMOD RECORD, volume 17, pages 51–71, 1988.CrossRefGoogle Scholar
  11. [11]
    U. Dayal, A. Buchmann, and D.R. McCarthy. Rules are object too: a knowledge model for an active object oriented dbms. In Proceedings of the Second International Workshop on Object-Oriented Database Systems, pages 129-143, 1988.Google Scholar
  12. [12]
    O. Diaz, N. Paton, and P. Gray. Rule management in object oriented databases a uniform approach. In Proceedings of the 17th International Conference on VLDB, pages 317-326, 1991.Google Scholar
  13. [13]
    N. Gehani and H.V. Jagadish. Ode as an active database: Constraints and triggers. In Proceedings of the 17th International Conference on VLDB, pages 327-336, 1991.Google Scholar
  14. [14]
    E.N. Hanson. An initial report on the design of ariel: A dbms with an integrated production rule system. In SIGMOD RECORD, volume 18, pages 12–19, 1989.CrossRefGoogle Scholar
  15. [15]
    R. Hull and D. Jacobs. Language constructs for programming active databases. In Proceedings of the 17th International Conference on VLDB, pages 455-467, 1991.Google Scholar
  16. [16]
    Y.E. Ioannidis and T.K. Sellis. Conflict resolution of rules assigning values to virtual attributes. In SIGMOD RECORD, volume 18, pages 205–214, 1989.CrossRefGoogle Scholar
  17. [17]
    D. Jacobs and R. Hull. Database programming with delayed updates. In Proceedings of the 3th International Workshop on DBPL, pages 359-371, 1991.Google Scholar
  18. [18]
    K.M. Kahn and V.A. Saraswat. Actors a special case of concurrent constraint programming. In OOP SLA 90, 1990.Google Scholar
  19. [19]
    M.L. Kersten. Goblin a dbpl designed for advanced database applications. In DEXA 91, 1991.Google Scholar
  20. [20]
    A.M. Kotz, K.R. Dittrich, and J.A. Mulle. Supporting semantics rules by a generalized event/trigger mechanism. In EDBT 90, pages 76–91, 1990.Google Scholar
  21. [21]
    C. Lecluse and P. Richard. The o2 database programming language. In Proceedings of the 15th VLDB conference, pages 411-422, 1989.Google Scholar
  22. [22]
    B. Nixon, L. Chung, D. Lauzon, A. Borgida, J. MYlopoulos, and M. Stanley. Implementation of a compiler for a semantic data model: Experiences with taxis. In Proceedings of the SIGMOD, pages 118-131, 1987.Google Scholar
  23. [23]
    A.P.J.M. Siebes, M.H. van der Voort, and C.J.E. Thieme. Independence. Technical report, CWI technical report, 1992.Google Scholar
  24. [24]
    E. Simon and C. deMaindreville. Deciding whether a production rule is relational computable. In ICDT 88, 1988.Google Scholar
  25. [25]
    M. Stonebraker, E. Hanson, and C.H. Hong. The design of the postgres rule system. In Readings in Database Systems, pages 556-565, 1988.Google Scholar
  26. [26]
    M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules procedures, caching and views in database systems. In Proceedings of the ACM SIGMOD conference, pages 281-290, 1990.Google Scholar
  27. [27]
    M.H. van der Voort and M.L. Kersten. Facets of database triggers. Technical report, CWI technical report: CS-R9122, 1991.Google Scholar
  28. [28]
    J. Widom and S. Fnkelstein. Set-oriented production rules in relational database systems. In Proceedings of the ACM Sigmod conference, pages 259-270, 1990.Google Scholar
  29. [29]
    Y. Zhou and M. Hsu. A theory for rule triggering systems. In Advances in Database Technology: EDBT 90, pages 407–422, 1990.Google Scholar

Copyright information

© Springer-Verlag/Wien 1992

Authors and Affiliations

  • A. P. J. M. Siebes
    • 1
  • M. H. van der Voort
    • 1
  • M. L. Kersten
    • 1
  1. 1.CWIAmsterdamThe Netherlands

Personalised recommendations