Abstract
In this paper we consider a class of integrity constraints which describe admissible lifecycles of database objects, and which can be specified by transition graphs. We present an algorithmic scheme for monitoring such constraints in temporal databases which efficiently support the concept of valid-time. The keys to efficient monitoring lie in storing lifecycle situations with respect to constraints, in utilizing the property of graphs being iteration-invariant, and in using basic operations of temporal databases to determine validity intervals. In particular, we give hints how to extend monitoring to transactions that involve retroactive and proactive modifications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Clifford, C. Dyreson, R. T. Snodgrass, T. Isakowitz, C. S. Jensen: Now in TSQL2. Technical Report, The TSQL2 Language Design Committee, 1994.
J. Chomicki: History-less Checking of Dynamic Integrity Constraints. In F. Golshani (ed.), Eighth International Conference on Data Engineering — 1992, IEEE Computer Society Press, 1992, 557–564.
R. Elmasri, I. El-Assal, V. Kouramajian: Semantics of Temporal Data in an Extented ER Model. In F. H. Lochovsky (ed.), Entity-Relationship Approach to Database Design and Querying, North-Holland, Amsterdam, 1990, 239–254.
R. Elmasri, S. B. Navathe: Fundamentals of Database Systems. Benjamin/Cummings, Redwood City, CA, 1989.
R. Elmasri, G. T. Wuu, V. Kouramajian: A Temporal Model and Query Language for EER Databases. In [23], 212–229.
M. Gertz, U. W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. In Proceedings Ninth International Conference on Data Engineering, IEEE Computer Society Press, 1993, 22–29.
C. S. Jensen, R. T. Snodgrass, M. D. Soo: The TSQL2 Data Model. Technical Report, The TSQL2 Design Committee, 1994.
U. W. Lipeck, H.-D. Ehrich, M. Gogolla: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In A. Sernadas, J. Bubenko, A. Olive (eds.), Theoretical and Formal Aspects of Information Systems (Proc. IFIP Work. Conf. TFAIS’85), North-Holland, Amsterdam, 1985, 145–157.
U. W. Lipeck, D. Feng: Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints. In J. v. Leeuwen (ed.), Graph- Theoretic Concepts in Computer Science — International Workshop WG’88, Lecture Notes in Computer Science 344, Springer-Verlag, Berlin, 1989, 166–179.
U. W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. In M. Gyssens, J. Paredaens, D. Van Gucht (eds.), ICDT’88 — 2nd International Conference on Database Theory, Proceedings, Lecture Notes in Computer Science 326, Springer-Verlag, Berlin, 1988, 322–337.
U. W. Lipeck: Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (Dynamic Integrity of Databases: Foundations of Specification and Monitoring, in German). Informatik- Fachberichte 209, Springer-Verlag, Berlin, 1989.
U. W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science 76 (1990) 115 –142.
U. W. Lipeck, G. Saake: Monitoring Dynamic Integrity Constraints Based on Temporal-Logic. Information Systems 12:3 (1987), 255–269.
U. W. Lipeck, H. Zhou: Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. In J. Göers, A. Heuer, G. Saake (eds.), Third Workshop on Foundations of Models and Languages for Data and Objects, Informatik-Bericht 91/3, TU Clausthal, Clausthal, 1991, 115–130.
S. B. Navathe, R. Ahmed: Temporal Extensions to the Relational Model and SQL. In [23], 92–109.
R. Snodgrass, I. Ahn: A Taxonomy of Time in Databases. In S. Navathe (ed.), Proc. ACM SIGMOD Int. Conf. on Management of Data 1985, Austin, ACM Press, New York, 1985, 236–246.
R. Snodgrass, I. Ahn: Temporal Databases. IEEE Computer 19:9 (1986), 35–42.
R. Snodgrass, I. Ahn, G. Ariav, et al: A TSQL2 Tutorial. SIGMOD Record 23:3 (1994), 27–34.
G. Saake: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering 6:1 (1991), 47–73.
G. Saake, U. W. Lipeck: Foundations of Temporal Integrity Monitoring. In C. e. a. Rolland (ed.), Temporal Aspects in Information Systems (Proc. IFIP Work. Gonf. TAIS’87), North-Holland, Amsterdam, 1988, 235–249.
R. Snodgrass: An Overview of TQuel. In [23], 141–182.
S. Schwiderski, G. Saake: Monitoring Temporal Permissions Using Partially Evaluated Transition Graphs. In U. W. Lipeck, B. Thalheim (eds.), Modelling Database Dynamics, Volkse, Oct 1992, 196–217, Workshops in Computing, Springer-Verlag, London, 1993.
A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, R. Snodgrass (eds.): Temporal Databases: Theory, Design, and Implementation. Database Systems and Applications Series, Benjamin/Cummings, Redwood City, CA, 1993.
G. Wuu, U. Dayal: A Uniform Model for Temporal Object-Oriented Databases In Proceedings Eigth International Conference on Data Engineering, IEEE Computer Society Press, 1992, 584–593.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 British Computer Society
About this paper
Cite this paper
Gertz, M., Lipeck, U.W. (1995). “Temporal” Integrity Constraints in Temporal Databases. In: Clifford, J., Tuzhilin, A. (eds) Recent Advances in Temporal Databases. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3033-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3033-8_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-19945-8
Online ISBN: 978-1-4471-3033-8
eBook Packages: Springer Book Archive