{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:51Z","timestamp":1725455451605},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022184","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:40:43Z","timestamp":1131860443000},"page":"378-392","source":"Crossref","is-referenced-by-count":4,"title":["Representation of the historical information necessary for temporal integrity monitoring"],"prefix":"10.1007","author":[{"given":"K.","family":"H\u00fclsmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Saake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1147\/rd.206.0560","volume":"20","author":"D.D. Chamberlin","year":"1976","unstructured":"Chamberlin, D.D. et al.: SEQUEL 2: A Unified Approach to Data Definition, Manipulation and Control. IBM Journal. Res. Dev. 20. 1976. 560\u2013576.","journal-title":"IBM Journal. Res. Dev."},{"key":"25_CR2","first-page":"119","volume-title":"Towards an Algebraic Semantics for Database Specification","author":"H.-D. Ehrich","year":"1988","unstructured":"Ehrich, H.-D., Drosten, K., Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Proc. IFIP Work. Conf. on Knowledge and Data \"DS-2\". Albufeira (Portugal) 1986 (R.A. Meersmann, et al., eds.), North-Holland Amsterdam 1988, 119\u2013135."},{"key":"25_CR3","unstructured":"Engels, G., Hohenstein, U., H\u00fclsmann, K., L\u00f6hr-Richter, P., Ehrich, H.-D.: CADDY: Computer Aided Design of Non-Standard Databases. To appear in Proc. of the Int. Conf. on System Development Environments & Factories. Berlin 1989."},{"key":"25_CR4","unstructured":"Ehrich, H.-D., Lipeck, U.W., Gogolla, M.: Specification, Semantics and Enforcement of Dynamic Database Constraints. Proc. Int. Conf. VLDB. Singapore 1984, 301\u2013308."},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/BF00291052","volume":"25","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol.25, Fasc.6, 1988, 625\u2013661.","journal-title":"Acta Informatica"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hsu, A., Imielinsky, T.: Integrity Checking for Multiple Updates. SIGMOD 1985, 152\u2013168.","DOI":"10.1145\/318898.318914"},{"key":"25_CR7","unstructured":"H\u00fclsmann, K.: Entwurf eines Systems zur \u00dcberwachung dynamischer Integrit\u00e4tsbedingungen (Design of a system for monitoring dynamic integrity constraints; in German). Diplomarbeit, TU Braunschweig 1988."},{"key":"25_CR8","unstructured":"H\u00fclsmann, K., Saake, G.: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Informatik-Bericht Nr.89-04, TU Braunschweig 1989."},{"key":"25_CR9","unstructured":"Kowalski, R., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases. In Proc. 19th Int. Conf. VLDB, 1987, 61\u201369."},{"key":"25_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. Springer-Verlag, Berlin 1987."},{"key":"25_CR11","unstructured":"Kung, C.H.: A Temporal Framework for Database Specification and Verification. VLDB 1984, 91\u201399."},{"key":"25_CR12","first-page":"145","volume-title":"Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems","author":"U.W. Lipeck","year":"1985","unstructured":"Lipeck, U.W., Ehrich, H.-D., Gogolla, M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems (A. Sernadas et al., eds.). LNCS 326, North-Holland, Amsterdam 1985, 145\u2013157."},{"key":"25_CR13","first-page":"322","volume-title":"Transformation of Dynamic Integrity Constraints into Transaction Specifications","author":"U.W. Lipeck","year":"1988","unstructured":"Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Proc. 2nd Int. Conf. on Database Theory (M. Gyssen et al., eds.). LNCS 326, Springer-Verlag, Berlin 1988, 322\u2013337."},{"key":"25_CR14","volume-title":"Habilitationsschrift, TU Braunschweig 1988, Informatik-Fachbericht Nr. 209","author":"U.W. Lipeck","year":"1989","unstructured":"Lipeck, U.W.: Zur dynamischen Integrit\u00e4t von Datenbanken: Grundlagen der Spezifikation und \u00dcberwachung (On dynamic integrity of databases: foundations of specification and supervision; in German). Habilitationsschrift, TU Braunschweig 1988, Informatik-Fachbericht Nr. 209, Springer-Verlag, Berlin 1989."},{"issue":"3","key":"25_CR15","doi-asserted-by":"publisher","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, Vol.12, No.3, 1987, 255\u2013269.","journal-title":"Information Systems"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J.W. Lloyd","year":"1985","unstructured":"Lloyd, J.W.; Topor, R.W.: A Basis for Deductive Database Systems. J. Logic Programming, 2, 1985, 93\u2013109.","journal-title":"J. Logic Programming"},{"key":"25_CR17","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., Pnueli, A.: Verification of Concurrent Programs: The Temporal Framework. in: The Correctness Problem in Computer Science (R.S. Boyer et al., eds.). Academic Press London 1981, 215\u2013273."},{"key":"25_CR18","doi-asserted-by":"publisher","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 Trans. on Programming Languages and Systems. Vol.6, 1984, 68\u201393.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","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":"25_CR20","unstructured":"Saake, G.: Spezifikation, Semantik und \u00dcberwachung von Objektlebensl\u00e4ufen in Datenbanken (Specification, semantics and supervision of object life cycles in databases; in German). Dissertation. Informatik-Skript Nr.20, TU Braunschweig 1988."},{"key":"25_CR21","first-page":"235","volume-title":"Foundations of Temporal Integrity Monitoring","author":"G. Saake","year":"1988","unstructured":"Saake, G., Lipeck, U.W.: Foundations of Temporal Integrity Monitoring. Proc. IFIP WG 8.1 Conf. on \"Temporal Aspects in Information Systems\" TAIS (C. Rolland et al., eds.), Sophia-Antipolis 1987, North-Holland, Amsterdam 1988, 235\u2013249."},{"key":"25_CR22","first-page":"288","volume":"385","author":"G. Saake","year":"1989","unstructured":"Saake, G., Lipeck, U.W.: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. In Proc. CSL'88 2nd Workshop ComputerScience Logic (E.B\u00f6rger, H. Kleine B\u00fcning, M.M. Richter, Eds), Duisburg 1988, LNCS 385, Springer-Verlag 1989, 288\u2013300.","journal-title":"LNCS"},{"key":"25_CR23","doi-asserted-by":"publisher","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. Information Systems 5, 1980, 167\u2013187.","journal-title":"Information Systems"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0306-4379(84)90015-2","volume":"9","author":"U. Schiel","year":"1984","unstructured":"Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multilevel and Modular Conceptual Schema Specifications. Information Systems 9, 1984, 43\u201357.","journal-title":"Information Systems"},{"key":"25_CR25","first-page":"389","volume-title":"Dynamic Constraints and Database Evolution","author":"V. Vianu","year":"1983","unstructured":"Vianu, V.: Dynamic Constraints and Database Evolution. Proc. 2nd ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems (Atlanta), ACM, New York 1983, 389\u2013399"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022184.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:53Z","timestamp":1607550473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0022184","relation":{},"subject":[]}}