{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T05:42:50Z","timestamp":1735882970288,"version":"3.32.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1007\/bf01893887","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T13:33:08Z","timestamp":1122816788000},"page":"365-407","source":"Crossref","is-referenced-by-count":17,"title":["Theoretical foundations of handling large substitution sets in temporal integrity monitoring"],"prefix":"10.1007","volume":"28","author":[{"given":"K.","family":"H\u00fclsmann","sequence":"first","affiliation":[]},{"given":"G.","family":"Saake","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01893887_CR1","unstructured":"Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast maintenance of semantic integrity assertions using redundant aggregate data. In Proc. Int. Conf. on Very Large Databases 1980 (126\u2013137)"},{"key":"BF01893887_CR2","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 J. Res. Dev.20, 560\u2013576 (1976)","journal-title":"IBM J. Res. Dev."},{"key":"BF01893887_CR3","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 \u201cDS-2\u201d. Albufeira (Portugal), 1986 (Meersmann, R.A. et al., eds.), pp. 119\u2013135 Amsterdam: North Holland 1988"},{"key":"BF01893887_CR4","volume-title":"CADDY: Computer aided design of non-standard databases","author":"G. Engels","year":"1989","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, London: Pitman"},{"key":"BF01893887_CR5","unstructured":"Ehrich, H.-D., Lipeck, U.W., Gogolla, M.: Specification, semantics and enforcement of dynamic database constraints. Proc. Int. Conf. on Very Large Databases. Singapore 1984, pp. 301\u2013308"},{"key":"BF01893887_CR6","doi-asserted-by":"crossref","unstructured":"Eswaran, K.P., Chamberlin, D.D.: Functional specification of subsystem for database integrity. Proc. Int. Conf on Very Large Databases 1975, pp. 48\u201368","DOI":"10.1145\/1282480.1282484"},{"issue":"6","key":"BF01893887_CR7","doi-asserted-by":"crossref","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 Inf25 (6), 625\u2013661 (1988)","journal-title":"Acta Inf"},{"key":"BF01893887_CR8","doi-asserted-by":"crossref","unstructured":"Gardarin, G., Melkanoff, M.: Proving consistency of database transactions. Proc. Int. Conf. on Very Large Databases. Rio de Janeiro 1979, pp. 291\u2013299","DOI":"10.1109\/VLDB.1979.718144"},{"key":"BF01893887_CR9","doi-asserted-by":"crossref","unstructured":"Hsu, A., Imielinsky, T.: Integrity checking for multiple updates. SIGMOD 1985, 152\u2013168","DOI":"10.1145\/318898.318914"},{"key":"BF01893887_CR10","unstructured":"H\u00fclsmann, K.: Design of a system for monitoring dynamic integrity constraints. (in German) Diploma Thesis, TU Braunschweig 1988"},{"key":"BF01893887_CR11","doi-asserted-by":"crossref","unstructured":"H\u00fclsmann, K., Saake, G.: Representation of the historical information necessary for temporal integrity monitoring. In Proc. 2nd Int. Conf. Extending Database Technology (EDBT 90), (Tsichritzis, D., Thanos, eds.) Venice 1990, pp. 378\u2013393","DOI":"10.1007\/BFb0022184"},{"key":"BF01893887_CR12","first-page":"37","volume-title":"Object identity","author":"S. Khoshafian","year":"1989","unstructured":"Khoshafian, S., Copeland, G.P.: Object identity. ACM Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications. Portland, Sept. 86. Reprint in: Readings in object-oriented database systems (Zdonik, S.B., Maier, D., eds.), pp. 37\u201346. San Mateo: Morgan Kaufman 1989"},{"key":"BF01893887_CR13","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. Berlin Heidelberg New York: Springer 1987"},{"key":"BF01893887_CR14","series-title":"Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems","first-page":"145","volume-title":"Specifying admissibility of dynamic database behaviour using temporal logic","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 (Sernadas, A. et al., eds.), pp. 145\u2013157 Amsterdam: North-Holland 1985"},{"key":"BF01893887_CR15","doi-asserted-by":"crossref","unstructured":"Lipeck, U.W.: Stepwise specification of dynamic database behaviour. Proc. ACM SIGMOD 387\u2013397 (1986)","DOI":"10.1145\/16894.16892"},{"key":"BF01893887_CR16","series-title":"Lect. Notes Comput. Sci.","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.). (Lect. Notes Comput. Sci., vol. 326, pp. 322\u2013337). Berlin Heidelberg New York: Springer 1988"},{"key":"BF01893887_CR17","volume-title":"Dynamic integrity of databases. Foundations of specification and supervision","author":"U.W. Lipeck","year":"1989","unstructured":"Lipeck, U.W.: Dynamic integrity of databases. Foundations of specification and supervision. (in German). Berlin Heidelberg New York: Springer 1989"},{"key":"BF01893887_CR18","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-50728-0_41","volume-title":"Construction of deterministic transition graphs from dynamic integrity constraints. Graph-theoretic concepts in computer sciences","author":"U.W. Lipeck","year":"1989","unstructured":"Lipeck, U.W., Feng, D.S.: Construction of deterministic transition graphs from dynamic integrity constraints. Graph-theoretic concepts in computer sciences Int. Workshop Amsterdam (Lect. Notes Comput. Sci., vol. 344, pp. 166\u2013179) Berlin Heidelberg New York: Springer 1989"},{"key":"BF01893887_CR19","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. Informat Systems12, 255\u2013269 (1987)","journal-title":"Informat Systems"},{"key":"BF01893887_CR20","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: Boyer, R.S. et al. (eds.) The correctness problem in computer science, pp. 215\u2013373. London: Academic Press (1981)"},{"key":"BF01893887_CR21","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 Trans Program. Lang. Syst6, 68\u201393 (1984)","journal-title":"ACM Trans Program. Lang. Syst"},{"key":"BF01893887_CR22","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 Inf.18, 227\u2013253 (1982)","journal-title":"Acta Inf."},{"key":"BF01893887_CR23","first-page":"325","volume-title":"Logic and databases","author":"J.-M. Nicolas","year":"1978","unstructured":"Nicolas, J.-M., Yasdanian, K.: Improving integrity checking in deductive databases. In: Gallaire, H., Minker, J. (eds.) Logic and databases, pp. 325\u2013344. New York: Plenum Press 1978"},{"key":"BF01893887_CR24","unstructured":"Saake, G.: Specifikation, semantics and monitoring of object life cycles in databases. Doctoral Thesis (in German). Informatik-Skript Nr. 20, TU Braunschweig 1988"},{"key":"BF01893887_CR25","unstructured":"Saake, G.: On first order temporal logics with changing domains for information system specification. Informatik-Bericht TU Braunschweig Nr. 89-01, 1989"},{"key":"BF01893887_CR26","unstructured":"Saake, G.: Descriptive specification of database object behaviour. Data Knowledge Eng. in print."},{"key":"BF01893887_CR27","series-title":"Proc. IFIP WG 8.1 Conf. on \u201cTemporal Aspects in Information Systems\u201d TAIS","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 \u201cTemporal Aspects in Information Systems\u201d TAIS (Rolland, C. et al., eds.), Sophia-Antipolis 1987, pp. 235\u2013249. Amsterdam: North-Holland 1988"},{"key":"BF01893887_CR28","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BFb0026308","volume-title":"Using finite-linear temporal logic for specifying database dynamics","author":"G. Saake","year":"1989","unstructured":"Saake, G., Lipeck, U.W.: Using finite-linear temporal logic for specifying database dynamics. Proc. CSL'88 2nd Workshop Computer Science Logic, Duisburg 1988 (B\u00f6rger, E., Kleine B\u00fcning, H., Richter, M.M. eds.) (Lect. Notes Comput. Sci., vol. 385, pp. 288\u2013300) Berlin Heidelberg New York: Springer 1989"},{"key":"BF01893887_CR29","unstructured":"Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-oriented specification of databases: An algebraic approach. Proc. Int. Conf. on Very Large Databases. Brighton 1987, pp. 107\u2013116"},{"key":"BF01893887_CR30","series-title":"Proc. 2nd ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems (Atlanta)","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, pp. 389\u2013399"},{"key":"BF01893887_CR31","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/7531.7918","volume":"34","author":"V. Vianu","year":"1987","unstructured":"Vianu, V.: Dynamic functional dependencies and database aging. J. ACM34, 28\u201359 (1987)","journal-title":"J. ACM"},{"key":"BF01893887_CR32","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","volume":"4","author":"R. Wieringa","year":"1989","unstructured":"Wieringa, R., Meyer, J.-J., Weigand, H.: Specifying dynamic and deontic integrity constraints. Data Knowledge Eng.4, 157\u2013191 (1989)","journal-title":"Data Knowledge Eng."},{"key":"BF01893887_CR33","doi-asserted-by":"crossref","unstructured":"Wolper, P.: Temporal logic can be more expressive. Proc. 22th IEEE Symp. on Found. of Computer Science. Nashville, TN, 1981, pp 340\u2013348","DOI":"10.1109\/SFCS.1981.44"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01893887.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01893887\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01893887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T21:38:05Z","timestamp":1735853885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01893887"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,4]]}},"alternative-id":["BF01893887"],"URL":"https:\/\/doi.org\/10.1007\/bf01893887","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}