{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T13:40:14Z","timestamp":1742218814813,"version":"3.38.0"},"publisher-location":"London","reference-count":24,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199458"},{"type":"electronic","value":"9781447130338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3033-8_5","type":"book-chapter","created":{"date-parts":[[2012,1,3]],"date-time":"2012-01-03T17:27:25Z","timestamp":1325611645000},"page":"77-92","source":"Crossref","is-referenced-by-count":6,"title":["\u201cTemporal\u201d Integrity Constraints in Temporal Databases"],"prefix":"10.1007","author":[{"given":"Michael","family":"Gertz","sequence":"first","affiliation":[]},{"given":"Udo W.","family":"Lipeck","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"The TSQL2 Language Design Committee","author":"J Clifford","year":"1994","unstructured":"J. Clifford, C. Dyreson, R. T. Snodgrass, T. Isakowitz, C. S. Jensen: Now in TSQL2. Technical Report, The TSQL2 Language Design Committee, 1994."},{"key":"5_CR2","first-page":"557","volume-title":"Eighth International Conference on Data Engineering \u2014 1992, IEEE Computer Society Press","author":"J Chomicki","year":"1992","unstructured":"J. Chomicki: History-less Checking of Dynamic Integrity Constraints. In F. Golshani (ed.), Eighth International Conference on Data Engineering \u2014 1992, IEEE Computer Society Press, 1992, 557\u2013564."},{"key":"5_CR3","first-page":"239","volume-title":"Entity-Relationship Approach to Database Design and Querying","author":"R Elmasri","year":"1990","unstructured":"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\u2013254."},{"key":"5_CR4","unstructured":"R. Elmasri, S. B. Navathe: Fundamentals of Database Systems. Benjamin\/Cummings, Redwood City, CA, 1989."},{"key":"5_CR5","unstructured":"R. Elmasri, G. T. Wuu, V. Kouramajian: A Temporal Model and Query Language for EER Databases. In [23], 212\u2013229."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"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\u201329.","DOI":"10.1109\/ICDE.1993.344081"},{"key":"5_CR7","volume-title":"The TSQL2 Design Committee","author":"CS Jensen","year":"1994","unstructured":"C. S. Jensen, R. T. Snodgrass, M. D. Soo: The TSQL2 Data Model. Technical Report, The TSQL2 Design Committee, 1994."},{"key":"5_CR8","first-page":"145","volume-title":"Theoretical and Formal Aspects of Information Systems (Proc. IFIP Work. Conf. TFAIS85)","author":"UW Lipeck","year":"1985","unstructured":"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\u201985), North-Holland, Amsterdam, 1985, 145\u2013157."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-50728-0_41","volume-title":"Graph- Theoretic Concepts in Computer Science \u2014 International Workshop WG88","author":"UW Lipeck","year":"1989","unstructured":"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 \u2014 International Workshop WG\u201988, Lecture Notes in Computer Science 344, Springer-Verlag, Berlin, 1989, 166\u2013179."},{"key":"5_CR10","first-page":"322","volume-title":"ICDT88 \u2014 2nd International Conference on Database Theory, Proceedings","author":"UW Lipeck","year":"1988","unstructured":"U. W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. In M. Gyssens, J. Paredaens, D. Van Gucht (eds.), ICDT\u201988 \u2014 2nd International Conference on Database Theory, Proceedings, Lecture Notes in Computer Science 326, Springer-Verlag, Berlin, 1988, 322\u2013337."},{"key":"5_CR11","first-page":"209","volume-title":"German). Informatik- Fachberichte","author":"UW Lipeck","year":"1989","unstructured":"U. W. Lipeck: Dynamische Integrit\u00e4t von Datenbanken: Grundlagen der Spezifikation und \u00dcberwachung (Dynamic Integrity of Databases: Foundations of Specification and Monitoring, in German). Informatik- Fachberichte 209, Springer-Verlag, Berlin, 1989."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(90)90014-9","volume":"76","author":"U. W. Lipeck","year":"1990","unstructured":"U. W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science 76 (1990) 115 \u2013142.","journal-title":"Theoretical Computer Science"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"U. W. Lipeck, G. Saake: Monitoring Dynamic Integrity Constraints Based on Temporal-Logic. Information Systems 12:3 (1987), 255\u2013269.","DOI":"10.1016\/0306-4379(87)90004-4"},{"key":"5_CR14","first-page":"115","volume-title":"Third Workshop on Foundations of Models and Languages for Data and Objects","author":"UW Lipeck","year":"1991","unstructured":"U. W. Lipeck, H. Zhou: Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. In J. G\u00f6ers, 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\u2013130."},{"key":"5_CR15","unstructured":"S. B. Navathe, R. Ahmed: Temporal Extensions to the Relational Model and SQL. In [23], 92\u2013109."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/318898.318921","volume-title":"Proc. ACM SIGMOD Int. Conf. on Management of Data 1985, Austin","author":"R Snodgrass","year":"1985","unstructured":"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\u2013246."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"R. Snodgrass, I. Ahn: Temporal Databases. IEEE Computer 19:9 (1986), 35\u201342.","DOI":"10.1109\/MC.1986.1663327"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"R. Snodgrass, I. Ahn, G. Ariav, et al: A TSQL2 Tutorial. SIGMOD Record 23:3 (1994), 27\u201334.","DOI":"10.1145\/187436.187454"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"G. Saake: Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering 6:1 (1991), 47\u201373.","DOI":"10.1016\/0169-023X(91)90015-P"},{"key":"5_CR20","first-page":"235","volume-title":"Temporal Aspects in Information Systems (Proc. IFIP Work. Gonf. TAIS87)","author":"G Saake","year":"1988","unstructured":"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\u201987), North-Holland, Amsterdam, 1988, 235\u2013249."},{"key":"5_CR21","unstructured":"R. Snodgrass: An Overview of TQuel. In [23], 141\u2013182."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"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\u2013217, Workshops in Computing, Springer-Verlag, London, 1993.","DOI":"10.1007\/978-1-4471-3554-8_12"},{"volume-title":"Temporal Databases: Theory, Design, and Implementation","year":"1993","key":"5_CR23","unstructured":"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."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013593.","DOI":"10.1109\/ICDE.1992.213150"}],"container-title":["Workshops in Computing","Recent Advances in Temporal Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3033-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T13:09:13Z","timestamp":1742216953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3033-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199458","9781447130338"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3033-8_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}