{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T03:45:36Z","timestamp":1767066336878},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198031"},{"type":"electronic","value":"9781447135548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_10","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T09:34:10Z","timestamp":1358415250000},"page":"153-173","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Rule Generation for Constraint Enforcement in Active Databases"],"prefix":"10.1007","author":[{"given":"Piero","family":"Fraternali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Paraboschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Letizia","family":"Tanca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"59","volume-title":"Termination, confluence and observable determinism","author":"A Aiken","year":"1992","unstructured":"A. Aiken, J. Widom, J. M. Hellerstein, Behavior of database production rules: termination, confluence and observable determinism, in Proc. of ACM-SIGMOD, pp. 59\u201368, 1992."},{"key":"10_CR2","volume-title":"Rep","author":"F Cacace","year":"1989","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari, The Logres project: integrating object oriented data modeling with rule based programming paradigm, Tech. Rep. n. 89\u2013039, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1989."},{"key":"10_CR3","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, Integrity Maintenance Systems: an Architecture, Proc. 3th International Workshop on the Deductive Approach to Information Systems and Databases, pp. 327\u2013344, Rosas, Catalunia, Sept. 1992."},{"key":"10_CR4","volume-title":"Rep","author":"S Ceri","year":"1988","unstructured":"S. Ceri, F. Garzotto, Specification and management of database integrity constraint through logic programming, Tech. Rep. n. 88\u2013025, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1988."},{"key":"10_CR5","volume-title":"Specification and management of database integrity constraint through logic programming techniques, to be published as Tech. Rep. Laboratorio di Calcolatori","author":"S Ceti","year":"1992","unstructured":"S. Ceti, F. Garzotto, G. Gottlob, Specification and management of database integrity constraint through logic programming techniques, to be published as Tech. Rep. Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992."},{"key":"10_CR6","volume-title":"Heidelberg","author":"S Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, L. Tanca, Logic programming and databases, Springer Verlag, Surveys in Computer Science, Heidelberg, 1990."},{"key":"10_CR7","unstructured":"S. Ceri J. Widom, Deriving production rules for constraint maintenance, Proc. 16th Int. Conf. on VLDB, pp. 566\u2013577, Brisbane, Australia, August 1990"},{"key":"10_CR8","volume-title":"Rep","author":"P Fraternali","year":"1992","unstructured":"P. Fraternali, S. Paraboschi, Selecting Rules for Constraint Maintenance: Its Complexity and a Heuristic Solution, Tech. Rep. n. 92\u2013057, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992."},{"key":"10_CR9","unstructured":"P. Fraternali, S. Paraboschi, L. Tanca, S. Ceri, Integrity Maintenance Systems, Tech. Rep. n. 92\u2013054, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992 (submitted for publication)."},{"key":"10_CR10","volume-title":"Rep","author":"P Fraternali","year":"1992","unstructured":"P. Fraternali, Automatic translation of database integrity constraints into compensating production rules, Tech. Rep. n. 92\u2013055, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992."},{"key":"10_CR11","unstructured":"A. P. Karadimce, S. D. Urban, Diagnosing anomalous rule behavior in databases with integrity maintenace production rules, Proc. 3th Workshop on Foundations of Models and Languages for Data and Objects, pp. 77\u2013102, Aigen, Austria, Sept. 1991"},{"key":"10_CR12","first-page":"325","volume-title":"Logic and Databases, H. Gallaire and J. Minker Eds.","author":"JM Nicolas","year":"1978","unstructured":"J. M. Nicolas K. Yazdanian, Integrity checking in deductive databases, In Logic and Databases, H. Gallaire and J. Minker Eds., pages 325\u2013344, Plenum, New York 1978."},{"key":"10_CR13","volume-title":"Proc. of ACM-SIGMOD, pp. 281290","author":"M Stonebraker","year":"1990","unstructured":"M. Stonebraker, A. Juingran, J. Goh, S. Potamianos, On rules, procedures, caching and views in database systems, In Proc. of ACM-SIGMOD, pp. 281290, May 1990"},{"key":"10_CR14","first-page":"374","volume-title":"Proc. ACM-SIGMOD","author":"D Stemple","year":"1987","unstructured":"D. Stemple, S. Mazumdar, and T. Sheard, On the modes and meaning of feedback to transaction designer, In Proc. ACM-SIGMOD, pages 374\u2013386, May 1987."},{"key":"10_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-12018-6","volume-title":"Dependencies in relational databases","author":"B Thalheim","year":"1991","unstructured":"B. Thalheim, Dependencies in relational databases, B G Teubner Verlgsgesellshaft, Stuttgart 1991"},{"key":"10_CR16","unstructured":"J. D. Ullman, Principles of database systems, Computer Science Press, Potomac, Maryland, 1980 (rev. ed. 1982 )"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"S. Urban, L. Delcambre, Constraint analysis: a design process for specifying operations on objects, IEEE Trans. on knowledge and data engineering, Vol. 2 No. 4, Dec 1990.","DOI":"10.1109\/69.63251"},{"key":"10_CR18","first-page":"259","volume-title":"Proc. of ACM-SIGMOD","author":"J Widom","year":"1990","unstructured":"J. Widom S. J. Finkelstein, Set-oriented production rules in relational database systems, In Proc. of ACM-SIGMOD, pp. 259\u2013270, May 1990."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"J. Widom, A denotational semantics for the Starburst production rule language, Research Report RJ 8581 (77360), SIGMOD Record, Vol. 21, No. 3, Sept. 1992.","DOI":"10.1145\/140979.140980"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BFb0022186","volume-title":"Advances in Database Technology - EDBT 90, LNCS 416","author":"Y Zhou","year":"1990","unstructured":"Y. Zhou, M. Hsu, A theory for rule triggering systems, in Advances in Database Technology\u2013EDBT \u201880, LNCS 416, pp. 407\u2013421. Springer-Verlag, Berlin, March 1990."}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T17:19:30Z","timestamp":1557508770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3554-8_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}