{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:06Z","timestamp":1725663426512},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:31:11Z","timestamp":1330209071000},"page":"347-362","source":"Crossref","is-referenced-by-count":3,"title":["Updating Datalog databases"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Atzeni","sequence":"first","affiliation":[]},{"given":"Riccardo","family":"Torlone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"19_CR1","first-page":"1","volume":"326","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul. Updates, a new frontier. In ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science 326, pages 1\u201318, Springer-Verlag, 1988.","journal-title":"ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"P. Atzeni and R. Torlone. Updating databases in the weak instance model. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 101\u2013109, 1989.","DOI":"10.1145\/73721.73731"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"P. Atzeni and R. Torlone. Efficient updates to independent schemes in the weak instance model. In ACM SIGMOD International Conf. on Management of Data, pages 84\u201393, 1990.","DOI":"10.1145\/93597.93626"},{"issue":"4","key":"19_CR4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Trans. on Database Syst., 6(4):557\u2013575, 1981.","journal-title":"ACM Trans. on Database Syst."},{"key":"19_CR5","unstructured":"D.D. Chamberlin et al. Views, authorization, and locking in a relational databse system. In AFIPS National Computer Conference, pages 145\u2013148, 1975."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-83952-8"},{"issue":"3","key":"19_CR7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"U. Dayal and P.A. Bernstein. On the correct translation of update relations on relational views. ACM Trans. on Database Syst., 8(3):381\u2013416, September 1982.","journal-title":"ACM Trans. on Database Syst."},{"key":"19_CR8","first-page":"437","volume":"470","author":"H. Decker","year":"1990","unstructured":"H. Decker. Drawing updates from derivations. In ICDT'90 (Third International Conference on Data Base Theory), Paris, Lecture Notes in Computer Science 470, pages 437\u2013451, Springer-Verlag, 1990.","journal-title":"ICDT'90 (Third International Conference on Data Base Theory), Paris, Lecture Notes in Computer Science"},{"key":"19_CR9","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"R. Fagin, G.M. Kuper, J.D. Ullman, and M.Y. Vardi. Updating logical databases. In P.C. Kanellakis and F.P. Preparata, editors, Advances in Computing Research, Vol. 3, pages 1\u201318, JAI Press, 1986.","journal-title":"Advances in Computing Research"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"A. Furtado, K. Sevcik, and C.S. Dos Santos. Permitting updates through views of databases. Information Systems, 4(4), 1979.","DOI":"10.1016\/0306-4379(79)90021-8"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"R. Fagin, J.D. Ullman, and M.Y. Vardi. On the semantics of updates in databases. In Second ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"issue":"4","key":"19_CR12","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G. Gottlob","year":"1988","unstructured":"G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Trans. on Database Syst., 13(4):486\u2013524, December 1988.","journal-title":"ACM Trans. on Database Syst."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"A.M. Keller. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In Fourth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 154\u2013163, 1985.","DOI":"10.1145\/325405.325423"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/B978-0-934613-40-8.50014-2","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"S. Manchanda","year":"1988","unstructured":"S. Manchanda and D.S. Warren. A logic-based language for database up-dates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363\u2013394, Morgan Kauffman, Los Altos, 1988."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"S.A. Naqvi and R. Krishnamurthy. Database updates in logic programming. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 251\u2013262, 1988.","DOI":"10.1145\/308386.308451"},{"key":"19_CR17","unstructured":"F. Rossi and S.A. Naqvi. Contributions to the view update problem. In 6th International Conference on Logic Programming, pages 398\u2013415, 1989."},{"key":"19_CR18","unstructured":"S. Todd. Automatic constraint maintenance and updating defined relations. In IFIP Congress, pages 145\u2013148, 1977."},{"key":"19_CR19","first-page":"338","volume":"326","author":"A. Tomasic","year":"1988","unstructured":"A. Tomasic. View update translation via deduction and annotation. In ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science 326, pages 338\u2013352, Springer-Verlag, 1988.","journal-title":"ICDT'88 (Second International Conference on Data Base Theory), Bruges, Lecture Notes in Computer Science"},{"key":"19_CR20","volume-title":"Principles of Database and Knowledge Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"J.D. Ullman. Principles of Database and Knowledge Base Systems. Volume 1, Computer Science Press, Potomac, Maryland, 1988."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"M.W. Wilkins. A model-theoretic approach to updating logical databases. In Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 224\u2013234, 1986.","DOI":"10.1145\/6012.15416"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"M. Winslett. A framework for the comparison of update semantics. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 315\u2013324, 1988.","DOI":"10.1145\/308386.308465"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:36Z","timestamp":1605646356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}