{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:24Z","timestamp":1742591424363,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:35Z","timestamp":1330200995000},"page":"322-337","source":"Crossref","is-referenced-by-count":0,"title":["Transformation of dynamic integrity constraints into transaction specifications"],"prefix":"10.1007","author":[{"given":"Udo W.","family":"Lipeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"Advances in Database Theory, Vol. II (H.Gallaire et al., eds.), Plenum Press, 1984"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Brodie,M.L.\/Mylopoulos,J.\/Schmidt,J.W(eds.): On Conceptual Modelling. Springer, 1984","DOI":"10.1007\/978-1-4612-5196-5"},{"key":"21_CR3","unstructured":"Castilho,J.M.V.de\/ Casanova,M.A.\/ Furtado,A.L.: A Temporal Framework for Database Specifications. VLDB 1982, 280\u2013291"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Casanova,M.A.\/Furtado,A.L.: On the Description of Database Transition Constraints Using Temporal Languages. In [ADBT84], 211\u2013236","DOI":"10.1007\/978-1-4615-9385-0_8"},{"key":"21_CR5","unstructured":"Carmo,J.\/Sernadas,A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification In: [TAIS87], 31\u201346"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Casanova,M.A.\/Veloso,P.A.S.\/Furtado,A.L.: Formal Database Specification \u2014 An Eclectic Perspective. PODS 1984, 110\u2013118","DOI":"10.1145\/588011.588028"},{"key":"21_CR7","unstructured":"Feng,D.S.\/ Lipeck,U.W.: Monitoring Temporal Formulae Deterministically (in German). Informatik-Bericht Nr. 87-06, Techn. Univ. Braunschweig 1987"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","volume":"11","author":"J. Fiadeiro","year":"1986","unstructured":"Fiadeiro, J.\/Sernadas, A.: The INFOLOG Linear Tense Propositional Logic of Events and Transactions. Information Systems 11 (1986), 61\u201385","journal-title":"Information Systems"},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0306-4379(81)90019-3","volume":"6","author":"A.L. Furtado","year":"1981","unstructured":"Furtado, A.L.\/Santos, C.S.dos\/Castilho, J.M.V.de: Dynamic Modelling of a Simple Existence Constraint. Information Systems 6 (1981), 73\u201380","journal-title":"Information Systems"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Gardarin,G.\/Melkanoff,M.: Proving Consistency of Database Transactions. VLDB 1979, 291\u2013298","DOI":"10.1109\/VLDB.1979.718144"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Henschen,L.J.\/McCune,W.W.\/Naqvi,S.A.: Compiling Constraint Checking Programs from First-Order Formulas. In: [ADBT84], 145\u2013169","DOI":"10.1007\/978-1-4615-9385-0_6"},{"key":"21_CR12","unstructured":"Kung,C.H.: A Temporal Framework for Database Specification and Verification. VLDB 1984, 91\u201399"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Lipeck,U.W.: Stepwise Specification of Dynamic Database Behaviour. SIGMOD 1986, 387\u2013397","DOI":"10.1145\/16894.16892"},{"key":"21_CR14","unstructured":"Lipeck,U.W.: On Dynamic Integrity of Databases: Fundamentals of Specification and Monitoring (in German). Habilitation Thesis, Informatics, Techn. Univ. Braunschweig, 1987"},{"key":"21_CR15","unstructured":"Lipeck,U.W.\/Ehrich,H.-D.\/Gogolla,M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In: [TFAIS85], 145\u2013157"},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U.W. Lipeck","year":"1987","unstructured":"Lipeck, U.W.\/Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), 255\u2013269","journal-title":"Information Systems"},{"key":"21_CR17","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z.\/Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM TOPLAS 6 (1984), 68\u201393","journal-title":"ACM TOPLAS"},{"key":"21_CR18","first-page":"227","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica 18 (1982), 227\u2013253","journal-title":"Acta Informatica"},{"key":"21_CR19","unstructured":"Saake,G.\/Lipeck,U.W.: Foundations of Temporal Integrity Monitoring. In: [TAIS87], 235\u2013249"},{"key":"21_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Inf.Systems 5(1980), 167\u2013187","journal-title":"Inf.Systems"},{"key":"21_CR21","unstructured":"Sheard,T.\/Stemple,D.: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985, 426\u2013435"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Stemple,D.\/Sheard,T.: Specification and Verification of Abstract Database Types. PODS 1984, 248\u2013257","DOI":"10.1145\/588011.588047"},{"key":"21_CR23","unstructured":"Proc. IFIP Work. Conf. on Temporal Aspects in Information Systems 1987 (C.Rolland et al., eds.), North-Holland, Amsterdam 1988"},{"key":"21_CR24","unstructured":"Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems (A.Sernadas et al., eds.), North-Holland, Amsterdam 1985"},{"key":"21_CR25","unstructured":"Veloso,P.A.S.\/Castilho,J.M.V.de\/Furtado,A.L.: Systematic Derivation of Complementary Specifications. VLDB 1981, 409\u2013421"},{"key":"21_CR26","unstructured":"Veloso,P.A.S.\/Furtado,A.L.: Towards Simpler and Yet Complete Formal Specifications. In: [TFAIS85], 175\u2013189"},{"key":"21_CR27","unstructured":"Walker,A.\/Salveter,S.C.: Automatic Modification of Transactions to Preserve Data Base Integrity. Techn.Report 81\/026, Comp. Science, State Univ. of New York, Stony Brook 1981"},{"key":"21_CR28","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"Wolper, P.: Temporal Logic Can Be More Expressive. Inform.and Control 56 (1983), 72\u201399","journal-title":"Inform.and Control"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:45:18Z","timestamp":1742589918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}