{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T20:07:30Z","timestamp":1648843650765},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1994,6,1]],"date-time":"1994-06-01T00:00:00Z","timestamp":770428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1994,6]]},"DOI":"10.1007\/bf01213208","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T13:25:22Z","timestamp":1109337922000},"page":"573-600","source":"Crossref","is-referenced-by-count":1,"title":["Update operations in deductive databases with functional dependencies"],"prefix":"10.1007","volume":"31","author":[{"given":"Riccardo","family":"Torlone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Lect. Notes Comput. Sci.","first-page":"1","volume-title":"ICDT'88, Second International Conference on Data Base Theory, Bruges","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S.: Updates, a new frontier. In: ICDT'88, Second International Conference on Data Base Theory, Bruges. (Lect. Notes Comput. Sci., vol. 326, pp. 1?18) Berlin Heidelberg New York: Springer 1988"},{"key":"CR2","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-54009-1_8","volume-title":"MFDBS'91, Mathematical Fundamentals of Data Base Systems, Rostock, Germany","author":"P. Atzeni","year":"1991","unstructured":"Atzeni, P., Torlone, R.: Solving ambiguities in updating deductive databases. In: MFDBS'91, Mathematical Fundamentals of Data Base Systems, Rostock, Germany. (Lect. Notes Comput. Sci., vol. 495, pp. 104?118) Berlin Heidelberg New York: Springer 1991"},{"issue":"8","key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-023X(92)90002-S","volume":"7","author":"P. Atzeni","year":"1992","unstructured":"Atzeni, P., Torlone, R.: Updating intensional predicates in Datalog. Data Knowl. Eng.7(8):1?17 (1992)","journal-title":"Data Knowl. Eng."},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/146931.146936","volume":"17","author":"P. Atzeni","year":"1992","unstructured":"Atzeni, P., Torlone, R.: Updating relational databases through weak instance interfaces. ACM Trans. Database Syst.17(4):718?746 (Dec. 1992)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"CR5","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst.6(4):557?575 (1981)","journal-title":"ACM Trans. Database Syst."},{"issue":"8","key":"CR6","first-page":"123","volume":"15","author":"J. Biskup","year":"1991","unstructured":"Biskup, J., Convent, B.: Relational chase procedures interpreted as resolution with paramodulation. Fundam. Inf.15(8):123?138 (1991)","journal-title":"Fundam. Inf."},{"key":"CR7","unstructured":"Bry, F.: Intensional updates: abduction via deduction. In: 7th International Conference on Logic Programming, pp. 561?575, 1990"},{"key":"CR8","volume-title":"Logic Programming and Data Bases","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Data Bases. Berlin Heidelberg New York: Springer 1989"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Cosmadakis, S.S., Gaifman, H., Kanellakis, P.C., Vardi, M.: Decidable optimization problems for database logic programs. In: Twentieth ACM SIGACT Symposium on Theory of Computing pp. 477?490, 1988.","DOI":"10.1145\/62212.62259"},{"issue":"4","key":"CR10","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/1634.1887","volume":"31","author":"S.S. Cosmadakis","year":"1984","unstructured":"Cosmadakis, S.S., Papadimitriou, C.H.: Updates of relational views. J. ACM31(4):742?760 (1984)","journal-title":"J. ACM"},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.A.: On the correct translation of update relations on relational views. ACM Trans. Database Syst.8(3):381?416 (1982)","journal-title":"ACM Trans. Database Syst."},{"key":"CR12","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-53507-1_94","volume-title":"ICDT'90, Third International Conference on Data Base Theory, Paris","author":"H. Decker","year":"1990","unstructured":"Decker, H.: Drawing updates from derivations. In: ICDT'90, Third International Conference on Data Base Theory, Paris. (Lect. Notes Comput. Sci., vol. 470, pp. 437?451) Berlin Heidelberg New York: Springer 1990"},{"key":"CR13","first-page":"1","volume-title":"Advances in computing research, vol. 3","author":"R. Fagin","year":"1986","unstructured":"Fagin, R., Kuper, G.M., Ullman, J.D., Vardi, M.Y.: Updating logical databases. In: Kanellakis, P.C., Preparata, F.P. (eds.) Advances in computing research, vol. 3, pp. 1?18. London: JAI Press 1986"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J.D., Vardi, M.Y.: On the semantics of updates in databases. In: Second ACM SIGACT SIGMOD Symposium on Principles of Database Systems, pp. 352?365, 1983","DOI":"10.1145\/588058.588100"},{"issue":"4","key":"CR15","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G. Gottlob","year":"1988","unstructured":"Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Trans. Database Syst.13(4):486?524 (1988)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A., Lloyd, J.W.: Updating knowledge bases. New Generation Comput.8(1):71?89 (1990)","journal-title":"New Generation Comput"},{"issue":"1","key":"CR17","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"Guessoum, A., Lloyd, J.W.: Updating knowledge bases II. New Generation Comput.10(1):73?100 (1991)","journal-title":"New Generation Comput."},{"issue":"3","key":"CR18","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1145\/322326.322330","volume":"29","author":"P. Honeyman","year":"1982","unstructured":"Honeyman, P.: Testing satisfaction of functional dependencies. J. ACM29(3):668?677 (1982)","journal-title":"J. ACM"},{"key":"CR19","unstructured":"Kakas, A.C., Mancarella, P.: Database updates through abduction. In: Sixteenth International Conference on Very Large Data Bases, Brisbane, pp. 650?661, 1990"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Keller, A.M.: Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In: Fourth ACM SIGACT SIGMOD Symposium on Principles of Database Systems, pp. 154?163, 1985","DOI":"10.1145\/325405.325423"},{"key":"CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Berlin Heidelberg New York: Springer 1987","edition":"2nd edn."},{"issue":"4","key":"CR22","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst.4(4):455?468 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"CR23","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":"Manchanda, S., Warren, D.S.: A logic-based language for database updates. In: Minker, I. (eds.) Foundations of deductive databases and logic programming. pp. 363?394,. Los Altos: Morgan Kaufman 1988"},{"issue":"4","key":"CR24","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/103140.103142","volume":"16","author":"A.O. Mendelzon","year":"1991","unstructured":"Mendelzon, A.O., Woods, P.T.: Functional dependencies in horn clause queries. ACM Trans. Database Syst.16(4):31?55 (1991)","journal-title":"Database Syst."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Naqvi, S., Krishnamurthy, R.: Database updates in logic programming. In: Seventh ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems, pp. 251?262, 1988","DOI":"10.1145\/308386.308451"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Naughton, J.: Data independent recursion in deductive databases. In: Fifth ACM SIGACT SIGMOD Symposium on Principles of Database Systems, pp. 267?279, 1986","DOI":"10.1145\/6012.15420"},{"issue":"1","key":"CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/58562.59303","volume":"36","author":"J. Naughton","year":"1989","unstructured":"Naughton, J..: Minimizing function-free recursive inference rules. J. ACM36(1).:69?91 (1989)","journal-title":"J. ACM"},{"key":"CR28","volume-title":"Collected papers of Charles Sanders Peirce, vol. 2","author":"C.S. Peirce","year":"1958","unstructured":"Peirce, C.S.: Collected papers of Charles Sanders Peirce, vol. 2, Cambridge: Harvard University Press 1958"},{"key":"CR29","unstructured":"Rossi, F., Naqvi, S.: Contributions to the view update problem. In: 6th International Conference on Logic Programming, pp. 398?415, 1989"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/B978-0-934613-40-8.50013-0","volume-title":"Foundations of deductive databases and logic programming","author":"F. Sadri","year":"1988","unstructured":"Sadri, F., Kowalski, R.: A theorem-proving approach to database integrity. In: Minker, J. (eds.) Foundations of deductive databases and logic programming, pp. 313?362. Los Altos: Morgan Kaufman 1988"},{"key":"CR31","first-page":"627","volume-title":"Foundations of deductive databases and logic programming","author":"Y. Sagiv","year":"1988","unstructured":"Sagiv, Y.: Optimizing Datalog programs. In: Minker, J. (eds.) Foundations of deductive databases and logic programming, pp. 627?658. Los Altos: Morgan Kaufman 1988"},{"key":"CR32","series-title":"Lect. Notes Comput. Sci.","first-page":"338","volume-title":"ICDT'88, Second International Conference on Data Base Theory, Bruges","author":"A. Tomasic","year":"1988","unstructured":"Tomasic, A.: View update translation via deduction and annotation. In: ICDT'88, Second International Conference on Data Base Theory, Bruges. (Lect. Notes Comput. Sci., vol. 326, pp. 338?352) Berlin Heidelberg New York: Springer 1988"},{"key":"CR33","series-title":"Lect. Notes Comput. Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-55015-1_15","volume-title":"DOOD'91, Second International Conference on Deductive and Object-Oriented Databases, Munich","author":"R. Torlone","year":"1991","unstructured":"Torlone, R., Atzeni, P.: Updating deductive databases with functional dependencies. In: DOOD'91, Second International Conference on Deductive and Object-Oriented Databases, Munich. (Lect. Notes Comput. Sci vol. 566, pp. 278?291) Berlin Heidelberg New York: Springer 1991"},{"key":"CR34","volume-title":"Principles of database and knowledge base systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of database and knowledge base systems, volume 1 & 2. Potomac, Maryland: Computer Science Press 1988"},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Decidability and undecidability results for boundedness of linear recursive queries. In: Seventh ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems, pp. 341?351, 1988","DOI":"10.1145\/308386.308470"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"Wilkins, M.W.: A model-theoretic approach to updating logical databases. In: Fifth ACM SIGACT SIGMOD Symposium on Principles of Database Systems, pp. 224?234, 1986","DOI":"10.1145\/6012.15416"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01213208.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01213208\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01213208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T09:47:14Z","timestamp":1556790434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01213208"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,6]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1994,6]]}},"alternative-id":["BF01213208"],"URL":"https:\/\/doi.org\/10.1007\/bf01213208","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,6]]}}}