{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:53:28Z","timestamp":1729612408598,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ride.1994.282841","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T14:32:51Z","timestamp":1040135571000},"page":"156-162","source":"Crossref","is-referenced-by-count":21,"title":["Conditional term rewriting as a formal basis for analysis of active database rules"],"prefix":"10.1109","author":[{"given":"A.P.","family":"Karadimce","sequence":"first","affiliation":[]},{"given":"S.D.","family":"Urban","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19242-5_3"},{"key":"ref11","first-page":"327","article-title":"Ode as an Active Database: Constraints and Triggers","author":"gehani","year":"1991","journal-title":"Proc the 28th International Conference on Very Large Data Bases"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322230"},{"key":"ref13","first-page":"455","article-title":"Language Constructs for Programming Active Databases","author":"hull","year":"1991","journal-title":"Proc the 28th International Conference on Very Large Data Bases"},{"key":"ref14","first-page":"223","article-title":"Reductive Conditional Term Rewriting Systems","author":"jouannaud","year":"1986","journal-title":"Proceedings of the Third IFIP Working Conference on Formal Description of Programming Concepts"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"ref16","first-page":"141","volume":"2","author":"kaplan","year":"1989","journal-title":"Completion Algorithms for Conditional Rewriting Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97958"},{"key":"ref18","article-title":"Maintaining Consistency in a Stratified Production System","author":"raschid","year":"1990","journal-title":"Proc Nat Conf Artificial Intelligence AAAI"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0169-023X(92)90035-A","volume":"8","author":"urban","year":"1992","journal-title":"Data and Knowledge Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1992.213164"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19242-5_2"},{"key":"ref6","first-page":"577","article-title":"Deriving Production Rules for Incremental View Maintenance","author":"ceri","year":"1991","journal-title":"Proc the 28th International Conference on Very Large Data Bases"},{"key":"ref5","first-page":"566","article-title":"Deriving Production Rules for Integrity Maintenance","author":"ceri","year":"1990","journal-title":"Proc the 28th International Conference on Very Large Data Bases"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15976-2_9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3225-7_10"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/130283.130296"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012855"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022186"}],"event":{"name":"IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems","location":"Houston, TX, USA"},"container-title":["Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/942\/7002\/00282841.pdf?arnumber=282841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T16:26:52Z","timestamp":1497544012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/282841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ride.1994.282841","relation":{},"subject":[]}}