{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:49Z","timestamp":1725663469656},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550150"},{"type":"electronic","value":"9783540466468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55015-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:23:12Z","timestamp":1330212192000},"page":"278-291","source":"Crossref","is-referenced-by-count":5,"title":["Updating deductive databases with functional dependencies"],"prefix":"10.1007","author":[{"given":"Riccardo","family":"Torlone","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Atzeni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-50171-1_1"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"P. Atzeni and R. Torlone. Solving ambiguities in updating deductive databases. In MFDBS'91 (Mathematical Fundamentals of Data Base Systems), Rostock, Germany, Lecture Notes in Computer Science 495, pages 104\u2013118, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_8"},{"key":"15_CR3","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. Full version to appear in ACM Trans. on Database Syst.","DOI":"10.1145\/73721.73731"},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-54141-1_19","volume":"504","author":"P. Atzeni","year":"1990","unstructured":"P. Atzeni and R. Torlone. Updating datalog databases. In Next Generation Information Systems Technology, Kiev, Soviet Union, Lecture Notes in Computer Science 504, Pages 347\u2013362, 1990.","journal-title":"Next Generation Information Systems Technology, Kiev, Soviet Union, Lecture Notes in Computer Science"},{"issue":"4","key":"15_CR5","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":"15_CR6","unstructured":"F. Bry. Intensional updates: abduction via deduction. In 7th International Conference on Logic Programming, 1990."},{"key":"15_CR7","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"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"S.S. Cosmadakis, H. Gaifman, P.C. Kanellakis, and M. Vardi. Decidable optimization problems for database logic programs. In Twentieth ACM SIGACT Symp. on Theory of Computing, pages 477\u2013490, 1988.","DOI":"10.1145\/62212.62259"},{"issue":"4","key":"15_CR9","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/1634.1887","volume":"31","author":"S.S. Cosmadakis","year":"1984","unstructured":"S.S. Cosmadakis and C.H. Papadimitriou. Updates of relational views. Journal of the ACM, 31(4):742\u2013760, October 1984.","journal-title":"Journal of the ACM"},{"issue":"3","key":"15_CR10","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":"15_CR11","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-53507-1_94"},{"key":"15_CR12","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."},{"issue":"4","key":"15_CR13","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":"15_CR14","unstructured":"A.C. Kakas and P. Mancarella. Database updates through abduction. In Sixteenth International Conference on Very Large Data Bases, Brisbane, pages 650\u2013661, 1990."},{"key":"15_CR15","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"},{"issue":"4","key":"15_CR16","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"D. Maier, A.O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. on Database Syst., 4(4):455\u2013468, 1979.","journal-title":"ACM Trans. on Database Syst."},{"key":"15_CR17","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 updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363\u2013394, Morgan Kauffman, Los Altos, 1988."},{"issue":"1","key":"15_CR18","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/103140.103142","volume":"16","author":"A.O. Mendelzon","year":"1991","unstructured":"A.O. Mendelzon and P.T. Wood. Functional dependencies in Horn clause queries. ACM Trans. on Database Syst., 16(1):31\u201355, 1991.","journal-title":"ACM Trans. on Database Syst."},{"key":"15_CR19","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":"15_CR20","doi-asserted-by":"crossref","unstructured":"J. Naughton. Data independent recursion in deductive databases. In Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, pages 267\u2013279, 1986.","DOI":"10.1145\/6012.15420"},{"issue":"1","key":"15_CR21","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/58562.59303","volume":"36","author":"J. Naughton","year":"1989","unstructured":"J. Naughton. Minimizing function-free recursive inference rules. Journal of the ACM, 36(1):69\u201391, 1989.","journal-title":"Journal of the ACM"},{"key":"15_CR22","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":"15_CR23","first-page":"627","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Y. Sagiv","year":"1988","unstructured":"Y. Sagiv. Optimizing datalog programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 627\u2013658, Morgan Kauffman, Los Altos, 1988."},{"key":"15_CR24","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-50171-1_22"},{"key":"15_CR25","volume-title":"Principles of Database and Knowledge Base Systems. Volume 1","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":"15_CR26","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi. Decidability and undecidability results for boundedness of linear recursive queries. In Seventh ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 341\u2013351, 1988.","DOI":"10.1145\/308386.308470"},{"key":"15_CR27","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"}],"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-55015-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:08Z","timestamp":1605646628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55015-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550150","9783540466468"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-55015-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}