{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:34Z","timestamp":1725663994598},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540560395"},{"type":"electronic","value":"9783540473602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56039-4_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:54:07Z","timestamp":1330235647000},"page":"155-170","source":"Crossref","is-referenced-by-count":1,"title":["Optimizing incremental computation of datalog programs with non-deterministic semantics"],"prefix":"10.1007","author":[{"given":"Fran\u00e7oise","family":"Fabret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mireille","family":"R\u00e9gnier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0304-3975(51)90006-0","volume":"78","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and E. Simon. Fundamental properties of deterministic and non deterministic extensions of Datalog, Theoretical Computer Science, 78, (1991), pp. 137\u2013158.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul, E. Simon, and V. Vianu. Non-Deterministic Languages to Express Deteiministic Transformations. In Proc. of 9-th ACM Symposium on Principles of Database Systems, Nashville, April 1990.","key":"10_CR2","DOI":"10.1145\/298514.298575"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul and A. van Gelder. Optimizing Active Databases Using the Split Technique. In Proc. Int. Conf. on Database Theory, Berlin, Oct. 1992.","key":"10_CR3","DOI":"10.1007\/3-540-56039-4_40"},{"doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. Fixpoint extensions of first order logic and datalog like languages. In Proc. of IEEE Int. Conf. on Logic in Computer Sciences, Asilomar, Ca, USA.","key":"10_CR4","DOI":"10.1109\/LICS.1989.39160"},{"issue":"3","key":"10_CR5","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/68012.68015","volume":"14","author":"J. A. Blakeley","year":"1989","unstructured":"Jose A. Blakeley, Neil Coburn, and Per-Ake Larson. Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Trans. on Database Systems, 14(3):369\u2013400, 1989.","journal-title":"ACM Trans. on Database Systems"},{"unstructured":"L. Brownston, R. Farrel, E. Kant, and N. Martin. Programming Expert Systems in OPSS: An Introduction to rule Based Programming. Addison-Wesley, 1985.","key":"10_CR6"},{"doi-asserted-by":"crossref","unstructured":"J. Earley. High level iterators and a method for automatically designing data structures representation. J. of Computer Languages, 1, 1976.","key":"10_CR7","DOI":"10.1016\/0096-0551(75)90019-3"},{"doi-asserted-by":"crossref","unstructured":"F. Fabret, M. R\u00e9gnier and E. Simon. Optimising Incremental Computation of Datalog Programs with Non-deterministic Semantics. INRIA Research Report, June 1992.","key":"10_CR8","DOI":"10.1007\/3-540-56039-4_39"},{"doi-asserted-by":"crossref","unstructured":"A. Fong. Inductively computable constructs in very high level languages. In Proc. of 6-th ACM Symposium on Principles of Programming Languages, San Antonio, 1976.","key":"10_CR9","DOI":"10.1145\/800168.811544"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Fotgy","year":"1982","unstructured":"C. Fotgy. Rete, a fast algorithm for the many patterns many objects match problem. Artificial Intelligence, 19:17\u201337, 1982.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"A. Fong and J. Ullman. Induction variables in very high level languages. In Proc. of 3-rd ACM Symposium on Principles of Programming Languages, Atlanta, 1976.","key":"10_CR11","DOI":"10.1145\/800168.811544"},{"doi-asserted-by":"crossref","unstructured":"E.N. Hanson Rule Condition Testing and Action Execution in Ariel, in Proc. of the 1992 ACM SIGMOD Int. Conf., San-Diego, June 1992.","key":"10_CR12","DOI":"10.1145\/130283.130295"},{"unstructured":"D.P. Miranker. Treat: A better match algorithm for AI production systems. In Proc. of the 1987 National Conference on Artificial Intelligence. Seattle, Washington, 1987.","key":"10_CR13"},{"doi-asserted-by":"crossref","unstructured":"R. Paige and S. Koenig. Finite differencing of computable expressions. ACM Transactions on Programming Languages and Systems, 4(3), 1982.","key":"10_CR14","DOI":"10.1145\/357172.357177"},{"doi-asserted-by":"crossref","unstructured":"T. Sellis, C. Lin, and L. Raschid. Implementing large production systems in a DBMS environment: Concepts and algorithms. In Proc. 1988 ACM SIGMOD Int. Conf., Chicago, May 1988.","key":"10_CR15","DOI":"10.1145\/50202.50251"},{"unstructured":"J. Ullman. Principles of Database and Knowledge Systems, volume 1. Computer Science Press, 1988.","key":"10_CR16"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56039-4_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:02:44Z","timestamp":1605628964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56039-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560395","9783540473602"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56039-4_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}