General treatment of dynamic integrity constraints

Data and Knowledge Engineering

Volumn 32, Issue 3, 2000, Pages 223-246

  De Brock, E O ^a  

^a UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; THEOREM PROVING;

DYNAMIC INTEGRITY CONSTRAINTS; KRIPKE MODELS;

CONSTRAINT THEORY;

EID: 0033886394     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(99)00041-5     Document Type: Article

References (29)

1. W.W. Armstrong, Dependency structures of data base relationships, in: Proceedings IFIP Congress, North Holland, Amsterdam, 1974, pp. 580-583.
2. E.O. de Brock, Foundations of semantic databases, Academic Service, Schoonhoven, 1989 (in Dutch).
3. de Brock E.O. Foundations of semantic databases. 1995;Prentice-Hall International Series in Computer Science, London.
4. M.A. Casanova, A.L. Furtado, On the description of database transition constraints using temporal languages, in: Advances in Database Theory, vol. II, Plenum Press, New York, 1984, pp. 211-236.
5. Date C.J. Relational Database: Selected Writings. 1986;Addison-Wesley, Reading, MA.
6. Date C.J. An Introduction to Database Systems. 1995;Addison-Wesley, Reading, MA.
7. Elmasri R., Navathe S.B. Fundamentals of Database Systems. 1994;Benjamin/Cummings, Redwood City, CA.
8. Fiadeiro J., Sernadas A. The INFOLOG lineair tense propositional logic of events and transactions. Information Systems. 11:1986;61-85.
9. Gertz M., Lipeck U.W. Deriving optimized integrity monitoring triggers from dynamic integrity constraints. Data & Knowledge Engineering. 20:1996;163-193.
10. Grefen P.W., Apers P.M. Integrity control in relational database systems - an overview. Data & Knowledge Engineering. 10:1993;187-223.
11. C.S. Jensen et al., Extending normal forms to temporal relations, Technical Report 92-17, Computer Science Department, University of Arizona, 1992.
12. Jensen C.S.et al. A consensus glossary of temporal database concepts. ACM SIGMOD Record. 23(1):1994;52-64.
13. Kline N. An update of the temporal database bibliography. ACM SIGMOD Record. 22(4):1993;66-80.
14. Kripke S.A. A completeness theorem in modal logic. The Journal of Symbolic Logic. 24:1959;1-14.
15. Kripke S.A. Semantical analysis of modal logic I: Normal propositional calculi. Zeitschrift für Logik und Grundlagen der Mathematik. 9:1963;67-96.
16. Lemmon E.J. An Introduction to Modal Logic. 1977;Basil Blackwell, Oxford.
17. U.W. Lipeck, H.-D. Ehrich, M. Gogolla, Specifying admissibility of dynamic database behaviour using temporal logic, in: Information Systems: Theoretical and Formal Aspects, North-Holland, Amsterdam, 1985, pp. 145-157.
18. Lipeck U.W., Saake G. Monitoring dynamic integrity constraints based on temporal logic. Information Systems. 12:1987;255-269.
19. Navathe S.B., Ahmed R. A temporal relational model and a query language. Information Sciences. 49:1989;147-175.
20. S.B. Navathe, R. Ahmed, Temporal extensions to the relational model and SQL, in: Temporal Databases: Theory, Design, and Implementation, Benjamin/Cummings, Redwood City CA, 1993, pp. 92-109.
21. Saake G. Descriptive specification of database object behaviour. Data & Knowledge Engineering. 6:1991;47-73.
22. Sernadas A. Temporal aspects of logical procedure definition. Information Systems. 5:1980;167-187.
23. Ullman J.D. Principles of Database Systems. 1982;Computer Science Press, Rockville MD.
24. Ullman J.D., Widom J. A First Course in Database Systems. 1997;Prentice-Hall, Englewood Cliffs, NJ.
25. Vianu V. Dynamic functional dependencies and database aging. Journal of the ACM. 34(1):1987;28-59.
26. J. Wijsen, A theory of keys for temporal databases, in: Actes 9èmes journées bases de données avancées, Toulouse, 1993, pp. 35-54.
27. J. Wijsen, J. Vandenbulcke, H. Olivié, Functional dependencies generalized for temporal databases that include object-identity, in: Lecture Notes in Computer Science, vol. 823, Springer, Berlin, 1994, pp. 99-109.
28. J. Wijsen, J. Vandenbulcke, H. Olivié, Temporal dependencies in relational database design, in: Actes 10èmes journées bases de données avancées, Clermont-Ferrand, 1994, pp. 157-169.
29. J. Wijsen, Extending dependency theory for temporal databases, Dissertation, University of Leuven, 1995.