{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:13Z","timestamp":1747548373188},"publisher-location":"Berlin, Heidelberg","reference-count":26,"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_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:41Z","timestamp":1330201001000},"page":"338-352","source":"Crossref","is-referenced-by-count":11,"title":["View update translation via deduction and annotation"],"prefix":"10.1007","author":[{"given":"Anthony","family":"Tomasic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"F. Bancilhon, N. Spyratos. Update Semantics of Relational Views. ACM TODS 6(4):557\u2013575, 1981.","journal-title":"ACM TODS"},{"key":"22_CR2","first-page":"415","volume":"79","author":"C. R. Carlson","year":"1979","unstructured":"C. R. Carlson, A. K. Arora. The Updatability of Relational Views Based on Functional Dependencies. In Proceedings COMPSAC 79, pages 415\u2013420. 1979. Reprinted in Tutorial: Database Management in the 1980's, J. A. Larson, H. A. Freeman (editors), IEEE Computer Society Press, 1981.","journal-title":"Proceedings COMPSAC"},{"issue":"4","key":"22_CR3","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/1634.1887","volume":"31","author":"S. S. Cosmadakis","year":"1984","unstructured":"S. S. Cosmadakis, C. H. Papadimitriou. Updates of Relational Views. Journal of the ACM 31(4):742\u2013760, 1984.","journal-title":"Journal of the ACM"},{"key":"22_CR4","volume-title":"Relational Database: Selected Writings","author":"C. J. Date","year":"1986","unstructured":"C. J. Date. Relational Database: Selected Writings. Addison-Wesley, Reading, Massachusetts, 1986."},{"unstructured":"J. E. Davidson. Interpreting Natural Languiage Database Updates. PhD thesis, Stanford University, 1984.","key":"22_CR5"},{"issue":"3","key":"22_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"U. Dayal, P. A. Bernstein. On the Correct Translation of Update Operations on Relational Views. ACM TODS 8(3):381\u2013416, 1982.","journal-title":"ACM TODS"},{"key":"22_CR7","volume-title":"Proceedings of the First International Conference on Expert Database Systems","author":"H. Decker","year":"1986","unstructured":"H. Decker. Integrity Enforcement on Deductive Databases. In Proceedings of the First International Conference on Expert Database Systems. Charleston, South Carolina, 1986."},{"unstructured":"R. Fagin, G. M. Kuper, J. D. Ullman, M. Y. Vardi. Updating Logical Databases. In Advances in Computing Research, pages 1\u201318. JAI Press, 1986.","key":"22_CR8"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-642-82375-6_7","volume-title":"Query Processing in Database System","author":"A. L. Furtado","year":"1985","unstructured":"A. L. Furtado, M. A. Casanova. Updating Relational Views. In W. Kim, D. S. Reiner, D. S. Batory (editors), Query Processing in Database System, pages 127\u2013142. Springer-Verlag, Berlin, 1985."},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0306-4379(79)90021-8","volume":"4","author":"A. L. Furtado","year":"1979","unstructured":"A. L. Furtado, K. C. Sevcik, C. S. Dos Santos. Permitting Updates through Views of Data Bases. Information Systems 4:269\u2013283, 1979.","journal-title":"Information Systems"},{"doi-asserted-by":"crossref","unstructured":"S. J. Hegner. Specification and Implementation of Programs for Updating Incomplete Information Databases. In PODS'87, pages 146\u2013158. 1987. (Preliminary Report).","key":"22_CR11","DOI":"10.1145\/28659.28675"},{"key":"22_CR12","series-title":"Technical Report TR","volume-title":"Application of database logic to the view update problem","author":"B. E. Jacobs","year":"1980","unstructured":"B. E. Jacobs. Application of database logic to the view update problem. Technical Report TR 960, University of Maryland, College Park, 1980."},{"doi-asserted-by":"crossref","unstructured":"A. M. Keller. Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. In PODS '85, pages 154\u2013163. 1985.","key":"22_CR13","DOI":"10.1145\/325405.325423"},{"unstructured":"A. M. Keller. Choosing a View Update Translator by Dialog at View Definition Time. In Proceedings of VLDB, pages 467\u2013474. Kyoto, 1986.","key":"22_CR14"},{"doi-asserted-by":"crossref","unstructured":"A. M. Keller, J. D. Ullman. On Complementary and Independent Mappings on Databases. In Proceedings of VLDB, pages 143\u2013148. 1984.","key":"22_CR15","DOI":"10.21236\/ADA145557"},{"key":"22_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1984."},{"unstructured":"S. Manchanda, D. S. Warren. Towards a Logical Theory of Database View Updates. In J. Minker (editor), Workshop on Foundations of Deductive Databases and Logic Programming, pages 27\u201352. Washington, D.C., 1986. (preprint).","key":"22_CR17"},{"unstructured":"Y. Masunaga. A Relational Database View Update Translation Mechanism. In Proceedings of VLDB, pages 309\u2013320. Singapore, 1984.","key":"22_CR18"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF01840451","volume":"1","author":"C. B. Medeiros","year":"1986","unstructured":"C. B. Medeiros, F. Wm. Tompa. Understanding the Implications of View Update Policies. Algorithmica 1:337\u2013360, 1986.","journal-title":"Algorithmica"},{"unstructured":"L. Naish. MU-PROLOG 3.1db Reference Manual Department of Computer Science, University of Melbourne, 1984.","key":"22_CR20"},{"key":"22_CR21","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0743-1066(84)90027-X","volume":"4","author":"L. Naish","year":"1984","unstructured":"L. Naish. Heterogeneous SLD Resolution. Journal of Logic Programming 4:297\u2013303, 1984.","journal-title":"Journal of Logic Programming"},{"unstructured":"J.-M. Nicolas, K. Yazdanian. An Outline of BDGEN: a Deductive DBMS. In R. E. A. Mason (editor), Proceedings of IFIP 83, pages 711\u2013717. 1983.","key":"22_CR22"},{"unstructured":"B. Ross. View Updates on Deductive Databases. Honours Report, Department of Computer Science, University of Melbourne, 1985.","key":"22_CR23"},{"key":"22_CR24","first-page":"145","volume":"77","author":"S. Todd","year":"1977","unstructured":"S. Todd. Automatic Constraint Maintenance and Updating Defined Relations. In B. Gilchrist (editor), Proceedings of IFIP 77, pages 145\u2013148. 1977.","journal-title":"Proceedings of IFIP"},{"unstructured":"L. Vieille. Recursive Query Processing: The Power of Logic. Technical Report TR-KB-17, ECRC, 1987. Submitted to Theoretical Computer Science.","key":"22_CR25"},{"key":"22_CR26","first-page":"373","volume-title":"Proceedings of the First International Conference on Expert Database Systems","author":"A. Weber","year":"1986","unstructured":"A. Weber. Updating Propositional Formulas. In Proceedings of the First International Conference on Expert Database Systems, pages 373\u2013386. Charlston, South-Carolina, 1986."}],"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_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:31Z","timestamp":1605647851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}