{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:34:28Z","timestamp":1742387668910},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635161"},{"type":"electronic","value":"9783540695882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63516-5_21","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T22:43:58Z","timestamp":1250117038000},"page":"118-132","source":"Crossref","is-referenced-by-count":2,"title":["On confluence property of active databases with meta-rules"],"prefix":"10.1007","author":[{"given":"Xianchang","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li Yan","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"8_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 Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 59\u201368, 1992.","DOI":"10.1145\/130283.130296"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, and J. Widom. Better termination analysis for active databases. In Rules in Database Systems: The workshop in computing, pages 163\u2013179, 1993.","DOI":"10.1007\/978-1-4471-3225-7_10"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"O. Etzion. Reasoning about the behavior of active database applications. In Rules in Database Systems, LNCS 985, pages 86\u2013100, 1995.","DOI":"10.1007\/3-540-60365-4_121"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"H. V. Jagadish, A. O. Mendelzon, and I. S. Mumick. Managing conflicts between rules. In Proc. of PODS. Montreal Quebec, Canada, 1996.","DOI":"10.1145\/237661.237710"},{"key":"8_CR5","unstructured":"Philip J. Pratt, Joseph J. Adamski. Database Systems Management and Design. Boyd & Fraser Publishing Company, 1987."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"N. W. Paton, J. Campin, A.A. A. Fernandes, and M.H. Williams. Rules in database. In Timos Sellis, editor, Formal Specification of Active Database Functionality: A Survey, pages 221\u201335. Lecture Notes in Computer Science, 985, Springer, 1995.","DOI":"10.1007\/3-540-60365-4_117"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"C. Tawbi, G. Jaber, and M. Dalmau. Activity specification using rendezvous. In Rules in Database Systems, LNCS 985, pages 51\u201365, 1995.","DOI":"10.1007\/3-540-60365-4_119"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"L. van der Voort and A. Siebes. Enforcing confluence of rule execution. In Proceedings of the first Int. Workshop on Rules In Databases Systems, pages 194\u2013207. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3225-7_12"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Y. Zhou and M. Hsu. A theory for rule triggering systems. In Proc. Extending Database Technology (EDBI), pages 407\u2013421. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0022186"}],"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-63516-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:57:37Z","timestamp":1558483057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63516-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635161","9783540695882"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-63516-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}