Deriving optimized integrity monitoring triggers from dynamic integrity constraints

Data and Knowledge Engineering

Volumn 20, Issue 2, 1996, Pages 163-193

  Gertz, Michael ^a   Lipeck, U W ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

Active databases; Constraint simplification; Dynamic integrity constraints; Integrity enforcement; Object life cycles; Temporal formulas; Triggers

Indexed keywords

CONSTRAINT THEORY; DESIGN; GRAPH THEORY; OPERATIONS RESEARCH; OPTIMIZATION;

ACTIVE DATABASES;

DATABASE SYSTEMS;

EID: 0030259613     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00010-9     Document Type: Article

References (38)

1. S. Ceri, P. Fraternali, S. Paraboschi and L. Tanca, Automatic generation of production rules for integrity maintenance, ACM Trans. Database Syst. 19(3) (September 1994), 367-422.
2. J. Chomicki, History-less checking of dynamic integrity constraints, in: Eighth International Conference on Data Engineering, (IEEE Computer Society Press, 1992) 557-564.
3. S. Ceri and J. Widom, Deriving production rules for constraint maintenance, in: D. McLeod, R. Sacks-Davis, H. Schek, eds., Proc. 16th Int. Conf. on Very Large Data Bases (Morgan Kaufmann Publishers, 1990) 566-577.
4. C. Date, An Introduction to Database Systems, Vol. II, (Addison-Wesley, Reading, MA, 1983).
5. K. Eswaran and D. Chamberlin, Functional specifications of a subsystem for data base integrity, in: Proc. Int. Conf. on Very Large Data Bases (1975) 48-68.
6. P.W. Grefen and P.M. Apers, Integrity control in relational database systems - an overview. Data and Knowledge Engineering 10:2 (March 1993), 187-223.
7. M. Gertz, On specifying the reactive behaviour on constraint violations. Technical Report 02/93, Institut für Informatik, Universität Hannover, 1993.
8. M. Gertz, Specifying reactive integrity control for active databases, in: J. Widom, S. Chakravarthy, eds. RIDE'94 Fourth International Workshop on Research Issues in Data Engineering, (IEEE Computer Society Press, 1994) 62-70.
9. M. Gertz and U.W. Lipeck, ICE: An environment for integrity-centered database design, in: U.W. Lipeck, G. Vossen (eds.), Formale Grundlagen für den Entwurf von Informationssystemen - GI-Workshop, Tutzing, Technical Report 03/94, Institut für Informatik, Universität Hannover, 1994.
10. G. Gardarin and M. Melkanoff, Proving consistency of database transactions, in: Proc. Int. Conf. on Very Large Data Bases (1979) 291-298.
11. M. Gogolla, An Extended Entity-Relationship Model - Fundamentals and Pragmatics. LNCS 767. (Springer-Verlag, Berlin, 1994).
12. L.M. Haas, W. Chang, G.M. Lohman and J. McPherson, Starburst Mid-Flight: As the Dust Clears. IEEE Transactions on Knowledge and Data Engineering 2(1) (March 1990), 143-160.
13. A. Hsu and T. Imielinski, Integrity checking for multiple updates, in: Proc. ACM SIGMOD Int. Conf. on Management of Data, Austin (1985) 152-168.
14. M. Hammer and D. McLeod, Semantic Integrity in a Relational Database System. In Proc. Int. Conf. on Very Large Data Bases, (1975) pp. 25-47.
15. K. Hülsmann and G. Saake, Representation of the historical information necessary for temporal integrity monitoring, in: F. Bancilhon, C. Thanos, D. Tsichritzis, eds., Advances in Database Technology, EDBT '90, LNCS 416, (Springer-Verlag, Berlin, 1990) 378-392.
16. K. Hülsmann and G. Saake, Theoretical foundations of handling large substitution sets in temporal integrity monitoring, Acta Informatica 28 (1991), 365-407.
17. U.W. Lipeck and D. Feng, Construction of deterministic transition graphs from dynamic integrity constraints, in: Proc. 14th Intern. Workshop on Graph-Theoretic Concepts in Computer Science, LNCS 344, (Springer-Verlag, Berlin, 1988) 166-179.
18. U.W. Lipeck, Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (Dynamic Database Integrity: Foundations of Specification and Monitoring, in German). Informatik-Fachberichte 209, (Springer, Berlin, 1989).
19. U.W. Lipeck, Transformation of dynamic integrity constraints into transaction specifications, Theoretical Computer Science 76 (1990), 115-142.
20. T.-W. Ling and P. Rajagopalan, A method to eliminate avoidable checking of integrity constraints, in: Proc. IEEE Trends and Applications Conference: Making Database Work (1984) 60-69.
21. U.W. Lipeck and G. Saake, Monitoring dynamic integrity constraints based on temporal logic. Information Systems 12:3 (1987), 255-269.
22. U.W. Lipeck and H. Zhou, Monitoring dynamic integrity constraints on finite state sequences and existence intervals, in: J. Goers, A. Heuer, G.E. Saake, eds., Proc. 3rd Workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Clausthal, 115-130, 1991.
23. G. Moerkotte and P.C. Lockemann, Reactive consistency control in deductive databases. ACM Transactions on Database Systems 16:4 (December 1991), 670-702.
24. J.-M. Nicolas, Logic for improving integrity checking in relational data bases. Acta Informatica 18 (1982), 227-253.
25. G. Saake, Descriptive specification of database object behaviour. Data and Knowledge Engineering 6 (1991), 47-73.
26. S. Schwiderski, T. Hartmann and G. Saake, Monitoring temporal preconditions in a behaviour oriented object model. Data and Knowledge Engineering 14 (1994), 143-186.
27. M. Stonebraker and G. Kemnitz, The postgres next-generation database management system. Communications of the ACM 34:10 (October 1991) 78-92 (ST94).
28. K.-D. Schewe and B. Thalheim, Achieving consistency in active databases, in: J. Widom, S. Chakravarthy, eds., RIDE'94 - Fourth International Workshop on Research Issues in Data Engineering (IEEE Computer Society Press, 1994) 71-76.
29. E. Simon and P. Valduriez, Design and implementation of an extendible integrity subsystem, in: Proc. ACM SIGMOD Int. Conf. on Management of Data (1984) 9-17.
30. D. Stemple, S. Mazumdar and T. Sheard, On the modes and meaning of feedback to transaction designers, in: U. Dayal, I. Traiger, eds., Proc. ACM SIGMOD Int. Conf. on Management of Data, San Francisco (ACM Press, 1987) 374-386.
31. D. Toman and J. Chomicki, Implementing temporal integrity constraints using an active DBMS, in: J. Widom, S. Chakravarthy, eds., RIDE'94, Fourth International Workshop on Research Issues in Data Engineering (IEEE Computer Society Press, 1994) 87-95.
32. S.D. Urban, A.P. Karadimce and R.B. Nannapaneni, The implementation and evaluation of integrity maintenance rules in an object-oriented database, in: Eighth International Conference on Data Engineering, 1992 (IEEE Computer Society Press, 1992) 565-572.
33. A.I. Wasserman, Behaviour and scenarios in object-oriented development, Journal of Object-Oriented Programming 4(9) (February 1992), 61-64.
34. J. Widom, ed., Special issue on database constraint management. Data Engineering Bulletin 17:2 (June 1994).
35. J. Widom, R.J. Cochrane and B. Lindsay, Implementing set-oriented production rules as an extension to starburst, in: G. M. Lohmann, A. Sernadas, R. Camps, eds., Proceedings of the 17th Int. Conf. on Very Large Data Bases, 1991 (Morgan Kaufmann Publishers, San Mateo, CA, 1991) 275-285.
36. J. Widom and S.J. Finkelstein, Set-oriented production rules in relational database systems, in: H. Garcia-Molina, H.V.E. Jagadish, eds., Proc. ACM SIGMOD Int. Conf. on Management of Data 1990 (ACM Press, 1990) 259-270.
37. R. Wieringa, J.-J. Meyer and H. Weigand, Specifying dynamic and deontic integrity constraints. Data and Knowledge Engineering 4(2) (August 1989), 157-189.
38. H. Zhou, Überwachung dynamischer Integritätsbedingungen in vergangenheits-bezogener und gemischter temporaler Logik. (Monitoring Dynamic Integrity Constraints in Past and Mixed Temporal Logic, in German) Technical Report 01/94, Institut für Informatik, Universität Hannover, February 1994.