{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:34Z","timestamp":1725664114563},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575306"},{"type":"electronic","value":"9783540482123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57530-8_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:08:09Z","timestamp":1330243689000},"page":"379-394","source":"Crossref","is-referenced-by-count":1,"title":["Tracking causal dependencies in an active object-oriented database"],"prefix":"10.1007","author":[{"given":"David","family":"Mattox","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen C. Y.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"25_CR1","unstructured":"V Chaudhri, V. Hadzilacos, and J. Mylopoulos. Concurrency control for knowledge bases. In B Nebel, C. Rich, and Swartout W., editors, Proceedings of the Third Intl. Conf. on Principals of Knowledge Representation and Reasoning. Morgan Kaufmann, October 1992."},{"key":"25_CR2","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, Proceedings of the 1990 ACM SIGMOD, volume 19, pages 204\u2013214. ACM, ACM Press, 1990.","DOI":"10.1145\/93597.98730"},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. An assumption-based tms. Artificial Intelligence, (28):127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"25_CR4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. Extending the atms. Artificial Intelligence, (28):163\u2013196, 1986.","journal-title":"Artificial Intelligence"},{"key":"25_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenance system. Artificial Intelligence, (12):231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"25_CR6","volume-title":"Building Problem Solvers","author":"K. Forbus","year":"1993","unstructured":"K. Forbus and J. de Kleer. Building Problem Solvers. MIT Press, Cambridge Mass., 1993."},{"key":"25_CR7","unstructured":"A. Herman. An artificial intelligence based modeling environment for engineering problem solving. Master's thesis, University of Illinois, 1990."},{"key":"25_CR8","unstructured":"A. Herman. Reasoning within collaborative activities. Technical Report KESRL-93-004, Knowledge-based Engineering Systems Research Laboratory, 1993."},{"key":"25_CR9","unstructured":"S. Hudson and R. King. Cactis: A database system for specifying functionally-defined data. In Readings in Object-Oriented Databases. Morgan Kauffman, 1989."},{"key":"25_CR10","unstructured":"ITASCA Systems, Inc. ITASCA Users Guide."},{"key":"25_CR11","volume-title":"Object-Oriented Databases","author":"W. Kim","year":"1990","unstructured":"W. Kim. Object-Oriented Databases. MIT Press, Cambridge, Mass, 1990."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"S. C-Y Lu and K. Smith. Swift: System workbench for facilitating and integrating teams. In Proceedings of the 2nd IEEE Workshop on Enabling Technologies and Infrastructure for Collaborative Enterprises. IEEE, April 1993.","DOI":"10.1109\/ENABL.1993.263064"},{"key":"25_CR13","volume-title":"Number 515 in Lecture Notes in Artificial Intelligence","author":"J. P. Martins","year":"1991","unstructured":"J. P. Martins and M. Reinfrank. Truth Maintenance Systems. Number 515 in Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 1991."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"D. McCarthy and U. Dayal. The architecture of an active data base management system. In J. Clifford, B. Lindsay, and D. Maier, editors, Proceedings of the 1989 ACM SIGMOD, volume 18, pages 215\u2013224. ACM, ACM Press, 1989.","DOI":"10.1145\/66926.66946"},{"issue":"1","key":"25_CR15","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/322169.322176","volume":"27","author":"A Silberschatz","year":"1980","unstructured":"A Silberschatz and Z Kedem. Consistency in hierarchical database systems. Journal of the Association of Computing Machinery, 27(1):72\u201380, 1980.","journal-title":"Journal of the Association of Computing Machinery"},{"key":"25_CR16","unstructured":"J. Widom, R. Cochrane, and B. Lindsay. Implementing set-oriented production rules as an extension to starburst. Technical report, IBM, 1991."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57530-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:12:56Z","timestamp":1605629576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}