{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:54Z","timestamp":1725663114031},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:50Z","timestamp":1330201010000},"page":"87-101","source":"Crossref","is-referenced-by-count":0,"title":["On the composition and decomposition of datalog program mappings"],"prefix":"10.1007","author":[{"given":"Guozhu","family":"Dong","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H., and Walker, A. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, J. Minker, Eds., Morgan Kaufmann Publishers, Los Altos, 1988, 89\u2013148."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., and Ramakrishnan, R. An amateur's introduction to recursive query processing strategies. In Proceedings of the ACM SIGMOD Conference, 1986, 16\u201352.","DOI":"10.1145\/16894.16859"},{"key":"5_CR3","unstructured":"Chakravarthy, U.S., Fishman, D.H., and Minker, J. Semantic query optimization in expert systems and database systems. In Expert Database Systems, Proceedings of the 1st International Workshop on Expert Database Systems, L. Kerschberg, Eds., 1984, 326."},{"key":"5_CR4","unstructured":"Chang, C., and Lee, R.C. Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973."},{"key":"5_CR5","unstructured":"Dong, G. On cooperative query answering using datalog program modules. Computer Science Department, USC, 1988."},{"key":"5_CR6","unstructured":"Dong, G. On the composition and decomposition of datalog program mappings. Computer Science Department, USC, 1988."},{"key":"5_CR7","unstructured":"Ioannidis, Y.E. A time bound on the materialization of some recursively defined views. In Proceedings of 11th International VLDB Conference, Stockholm, Sweden, 1985."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.L. Lassez","year":"1984","unstructured":"Lassez, J.L., and Maher, M.J. Closures and fairness in the semantics of programming logic. Theoretical Computer Science, 29 (1984), 167\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Naughton, J., and Sagiv, Y. A decidable class of bounded recursion. In Proceedings of the 6th PODS, 1987, 227\u2013236.","DOI":"10.1145\/28659.28684"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Sagiv, Y. Optimizing datalog programs, In Proceedings of the 6th PODS, 1987, 349.","DOI":"10.1145\/28659.28696"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y. Decidability and undecidability results for boundedness of linear recursive programs. In Proceedings of the 7th PODS, 1988, 341\u2013351.","DOI":"10.1145\/308386.308470"}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:32Z","timestamp":1605647852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}