Towards a theory of consistency enforcement

Acta Informatica

Volumn 36, Issue 2, 1999, Pages 97-141

  Schewe, Klaus Dieter ^a   Thalheim, Bernhard ^b  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033068207     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050155     Document Type: Article

References (36)

1. 1. S. Abiteboul, R. Hull, V. Vianu: Foundations of Databases. Reading, MA: Addison-Wesley 1995
2. 2. J.R. Abrial: A Formal Approach to Large Software Construction. In: J.L.A. Van de Snepscheut (Ed.) Mathematics of Program Construction. LNCS 375, pp 1-20, Berlin Heidelberg New York: Springer 1989
3. 3. J.R. Abrial: The B Method. Cambridge: Cambridge University Press 1996
4. 4. J. Bicarregui, B. Ritchie: Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. In: J.C.P. Woodcock, P.G. Larsen (Eds.): Formal Methods Europe (FME'93), LNCS 670, pp 162-182, Berlin Heidelberg New York: Springer 1993
5. 5. D. Bjørner, C.B. Jones (1982): Formal Specification and Software Development. New York London: Prentice Hall 1982
6. 6. M. Broy, G. Nelson: Adding Fair Choice to Dijkstra's Calculus. ACM TOPLAS 16(3), 924-938 (1994)
7. 7. S. Ceri, J. Widom: Deriving Production Rules for Constraint Maintenance. In: Proceedings 16th Conference on VLDB, 1990, pp 566-577
8. 8. W. Chen, J.T. Udding: Towards a Calculus of Data Refinement. In: J.L.A. Van de Snepscheut (Ed.): Mathematics of Program Construction. LNCS 375, pp 197-218, Berlin Heidelberg New York: Springer 1989
9. 9. P. Cousot: Methods and Logics for Proving Programs. In: J. van Leeuwen (Ed.) The Handbook of Theoretical Computer Science, vol. B, pp 841-993, Amsterdam: Elsevier 1990
10. 10. E. W. Dijkstra, C.S. Scholten: Predicate Calculus and Program Semantics. Monographs in Computer Science, Berlin Heidelberg New York: Springer 1989
11. 11. P. Fraternali, S. Paraboschi, L. Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases. In: U. Lipeck, B. Thalheim (Eds.): Modelling Database Dynamics. WICS, pp 153-173, Berlin Heidelberg New York: Springer 1993
12. 12. M. Gertz, U.W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. In: Proceedings 9th ICDE. IEEE Computer Society Press, 1993, pp 22-29
13. 13. D. Gries: The Science of Programming. Monographs in Computer Science, Berlin Heidelberg New York: Springer 1981
14. 14. T. Günther, K.-D. Schewe, I. Wetzel: On the Derivation of Executable Database Programs from Formal Specifications. In: J.C.P. Woodcock, P.G. Larsen (Eds.): Formal Methods Europe (FME'93). LNCS 670, pp 351-366, Berlin Heidelberg New York: Springer 1993
15. 15. C.B. Jones: Systematic Software Development using VDM. New York London: Prentice-Hall International 1986
16. 16. A.P. Karadimce, S.D. Urban: Diagnosing Anomalous Rule Behaviour in Databases with Integrity Maintenance Production Rules. In: Proceedings 3rd Int. Workshop on Foundations of Models and Languages for Data and Objects. 1991, pp 77-102
17. 17. U.W. Lipeck: Dynamische Integrität von Datenbanken. Springer IFB 209, 1987
18. 18. M. Makkai: Admissible Sets and Infinitary Logic. In: J. Barwise (Ed.): Handbook of Mathematical Logic. North Holland, Studies in Logic and Foundations of Mathematics, Vol. 90, 1977, pp 233-281
19. 19. J.-J. Meyer, H. Weigand, R. Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. In: J. Demetrovics, B. Thalheim (Eds.): MFDBS 89. LNCS 364, pp 347-366, Berlin Heidelberg New York: Springer 1989
20. 20. C. Morgan: Programming from Specifications. New York London: Prentice Hall 1988
21. 21. G. Nelson: A Generalization of Dijkstra's Calculus, ACM TOPLAS 11(4), 517-561 (1989)
22. 22. K.-D. Schewe, I. Wetzel, J.W. Schmidt: Towards a Structured Specification Language for Database Applications. In: D. Harper, M. Norrie: Specification of Database Systems. Springer Workshops in Computing Science, 1992, pp 255-274
23. 23. K.-D. Schewe, B. Thalheim, J.W. Schmidt, I. Wetzel: Integrity Enforcement in Object-Oriented Databases. In: U.W. Lipeck, B. Thalheim (Eds.): Modelling Database Dynamics. Workshops in Computing, pp 174-195, Berlin Heidelberg New York: Springer 1993
24. 24. K.-D. Schewe, B. Thalheim: Consistency Enforcement in Active Databases. In: S. Chakravarty, J. Widom (Eds.): Research Issues in Data Engineering-Active Databases, Houston: IEEE Computer Society Press 1994
25. 25. K.-D. Schewe, D. Stemple, B. Thalheim: Higher Level Genericity in Object Oriented Databases. In: S. Chakravarty (Ed.): Conference on the Management of Data. 1994
26. 26. K.-D. Schewe: Specification and Development of Correct Relational Database Programs, book manuscript
27. 27. K.-D. Schewe: Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement. In: S. Conrad, H.-J. Klein, K.-D. Schewe (Eds.): Integrity in Databases. Proc. 6th Int. Workskop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, 1996, pp 74-86, available via http://wwwiti.cs.uni-magdeburg.de/~conrad/IDB96/Proceedings.html
28. 28. K.-D. Schewe, B. Thalheim: Active Consistency Enforcement for Repairable Database Transitions. In: S.Conrad, H.-J. Klein, K.-D. Schewe (Eds.): Integrity in Databases. Proc. 6th Int. Workskop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, 1996, pp 87-102, available via http://wwwiti.cs.uni-magdeburg.de/ ~conrad/IDB96/Proceedings.html
29. 29. K.-D. Schewe, B. Thalheim: Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications, Acta Cybernetica 13, 277-304 (1998)
30. 30. T. Sheard, D. Stemple: Automatic Verification of Database Transaction Safety, ACM ToDS 14(3), 322-368 (1989)
31. 31. J.M. Spivey: Understanding Z, A Specification Language and its Formal Semantics. Cambridge University Press 1988
32. 32. J.M. Spivey: The Z Notation, A Reference Manual. New York London: Prentice Hall, 1989
33. 33. D. Stemple, S. Mazumdar, T. Sheard (1987): On the Modes and Meaning of Feedback to Transaction Designer. In: Proceedings SIGMOD 1987. 1987, pp 375-386
34. 34. B. Thalheim: Dependencies in Relational Databases, Leipzig: Teubner 1991
35. 35. S.D. Urban, L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects, IEEE Transactions on Knowledge and Data Engineering, Vol. 2 (4), 1990
36. 36. J. Widom, S.J. Finkelstein: Set-oriented Production Rules in Relational Database Systems. In: Proceedings SIGMOD. 1990, pp 259-270