{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:04:36Z","timestamp":1751634276607},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603658"},{"type":"electronic","value":"9783540451372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60365-4_126","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:46Z","timestamp":1330280446000},"page":"163-181","source":"Crossref","is-referenced-by-count":34,"title":["Improved rule analysis by means of triggering and activation graphs"],"prefix":"10.1007","author":[{"given":"Elena","family":"Baralis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Ceri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Paraboschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"A. Aiken, J. Widom, and J. M. Hellerstein. Behavior of database production rules: Termination, confluence, and observable determinism. In M. Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59\u201368, San Diego, California, May 1992.","DOI":"10.1145\/130283.130296"},{"key":"11_CR2","unstructured":"E. Baralis, S. Ceri, and S. Paraboschi. Modularization techniques for active rules design. Technical Report IDEA.WP2.22P.002.01, ESPRIT Project n. 6333 IDEA, Nov. 1994."},{"key":"11_CR3","first-page":"163","volume-title":"Proc. of First Workshop on Rules in Database Systems","author":"E. Baralis","year":"1993","unstructured":"E. Baralis, S. Ceri, and J. Widom. Better termination analysis for active databases. In N. W. Paton and M. H. Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 163\u2013179, Edinburgh, Scotland, Aug. 1993. Springer-Verlag, Berlin."},{"key":"11_CR4","unstructured":"E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, pages 475\u2013486, Santiago, Chile, Sept. 1994."},{"key":"11_CR5","unstructured":"L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985."},{"issue":"3","key":"11_CR6","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3):367\u2013422, Sept. 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"11_CR7","unstructured":"S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. Sixteenth Int'l Conf. on Very Large Data Bases, pages 566\u2013577, Brisbane, Australia, Aug. 1990."},{"key":"11_CR8","unstructured":"S. Ceri and J. Widom. Managing semantic heterogeneity with production rules and persistent queues. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. Nineteenth Int'l Conf. on Very Large Data Bases, pages 108\u2013119, Dublin, Ireland, Aug. 1993."},{"issue":"6","key":"11_CR9","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/0306-4379(94)90002-7","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri and J. Widom. Deriving incremental production rules for deductive data. Information Systems, 19(6):467\u2013490, Nov. 1994.","journal-title":"Information Systems"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"U. Dayal, M. Hsu, and R. Ladin. Organizing long-running activities with triggers and transactions. In H. Garcia-Molina and H. V. Jagadish, editors, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 204\u2013214, Atlantic City, New Jersey, May 1990.","DOI":"10.1145\/93597.98730"},{"key":"11_CR11","unstructured":"J. Gray and A. Reuter. Transaction Processing Concepts and Techniques. Morgan Kaufmann Publishers, 1993."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"A. P. Karadimce and S. D. Urban. Conditional term rewriting as a formal basis for analysis of active database rules. In Proc. Fourth International Workshop on Research Issues in Data Engineering RIDE-ADS '94, Houston, Texas, Feb. 1994.","DOI":"10.1109\/RIDE.1994.282841"},{"key":"11_CR13","unstructured":"H. Tsai and A. M. K. Cheng. Termination analysis of OPS5 expert systems. In Proc. of the AAAI National Conference on Artificial Intelligence, Seattle, Washington, 1994."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"L. van der Voort and A. Siebes. Termination and confluence of rule execution. In Proc. of the Second International Conference on Information and Knowledge Management, Washington DC, Nov. 1993.","DOI":"10.1145\/170088.170142"},{"issue":"3","key":"11_CR15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/187436.187457","volume":"23","author":"J. Widom","year":"1994","unstructured":"J. Widom. Research issues in active database systems: Report from the closing panel at RIDE-ADS '94. SIGMOD Record, 23(3):41\u201343, Sept. 1994.","journal-title":"SIGMOD Record"},{"key":"11_CR16","volume-title":"Active Database Systems","author":"J. Widom","year":"1995","unstructured":"J. Widom and S. Ceri. Active Database Systems. Morgan-Kaufmann, San Mateo, California, Aug. 1995."}],"container-title":["Lecture Notes in Computer Science","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60365-4_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:37Z","timestamp":1619573857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60365-4_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603658","9783540451372"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60365-4_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}