{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926659,"version":"3.37.0"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1007\/bf03037523","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:16:23Z","timestamp":1240542983000},"page":"73-100","source":"Crossref","is-referenced-by-count":29,"title":["Updating knowledge bases II"],"prefix":"10.1007","volume":"10","author":[{"given":"A.","family":"Guessoum","sequence":"first","affiliation":[]},{"given":"J. W.","family":"Lloyd","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037523_CR1","unstructured":"Abiteboul, S., \u201cUpdates, a New Frontier,\u201d inProceedings of the Second International Conference on the Theory of Databases (M. Gyssens, J. Paredaens, and D. Van Gucht, eds.),Lecture Notes in Computer Science 326, Springer-Verlag, pp. 1\u201318, 1988."},{"key":"BF03037523_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K. R. and Pugin J.-M., \u201cMaintenance of Stratified Databases Viewed as a Belief Revision System,\u201d inProc. 6th ACM Symposium on Principles of Database Systems, San Diego, Ca., pp. 136\u2013145, 1987. Revised version appeared asManagement of Stratified Databases, TR-87-41, Department of Computer Science, University of Texas, Austin, 1987.","DOI":"10.1145\/28659.28674"},{"key":"BF03037523_CR3","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Blair, H. A. and Walker, A., \u201cTowards a Theory of Declarative Knowledge,\u201d inFoundations of Deductive Databases and Logic Programming (J. Minker, eds.), Morgan Kaufmann, pp. 89\u2013148, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"4","key":"BF03037523_CR4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F. and Spyratos, N., \u201cUpdate Semantics of Relational Views,\u201dACM Transactions on Database Systems, 6, 4, pp. 557\u2013575, 1981.","journal-title":"ACM Transactions on Database Systems"},{"key":"BF03037523_CR5","unstructured":"Bowen, K. A. and Kowalski, R. A., \u201cAmalgamating Language and Metalanguage in Logic Programming,\u201d inLogic Programming (K. L. Clark and S.-A. Tarnlund, eds.), Academic Press, pp. 153\u2013172, 1982."},{"key":"BF03037523_CR6","unstructured":"Bry, F., \u201cIntensional Updates: Abduction via Deduction,\u201d in7th International Conference on Logic Programming (D. H. D. Warren and P. Szeredi, eds.), Jerusalem, pp. 561\u2013575, 1990."},{"key":"BF03037523_CR7","unstructured":"Cavedon, L., \u201cContinuity, Consistency, and Completeness Properties for Logic Programs,\u201d in6th International Conference on Logic Programming (G. Levi and M. Martelli, eds.), Lisbon, pp. 571\u2013584, 1989."},{"issue":"4","key":"BF03037523_CR8","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/1634.1887","volume":"31","author":"S. S. Cosmadakis","year":"1984","unstructured":"Cosmadakis, S. S. and Papadimitriou, C. H., \u201cUpdates of Relational Views,\u201dJACM, 31, 4, pp. 742\u2013760, 1984.","journal-title":"JACM"},{"key":"BF03037523_CR9","unstructured":"Date, C. J.,An Introduction to Database Systems, Vol. 1, 4th edition, Addison-Wesley, 1986."},{"key":"BF03037523_CR10","unstructured":"Date, C. J., \u201cUpdating Views,\u201d inRelational Database, Selected Writings, Addison-Wesley, pp. 367\u2013395, 1986."},{"issue":"3","key":"BF03037523_CR11","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"Dayal, U. and Bernstein, P. A., \u201cOn the Correct Translation of Update Operations on Relational Views,\u201dACM Transactions on Database Systems, 8, 3, pp. 381\u2013416, 1982.","journal-title":"ACM Transactions on Database Systems"},{"key":"BF03037523_CR12","doi-asserted-by":"crossref","unstructured":"Decker, H., \u201cDrawing Updates from Derivations,\u201dTechnical Report, IR-KB-65, ECRC, March, 1989, revised March 1990.","DOI":"10.1007\/3-540-53507-1_94"},{"key":"BF03037523_CR13","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"Fagin, R., Kuper, G. M., Ullman, J. D. and Vardi, M. Y., \u201cUpdating Logical Databases,\u201dAdvances in Computing Research, 3, pp. 1\u201318, 1986.","journal-title":"Advances in Computing Research"},{"key":"BF03037523_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J. D. and Vardi, M. Y., \u201cOn the Semantics of Updates in Databases,\u201c inProceedings of the 2nd ACM Symposium on the Principles of Database Systems, pp. 352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"key":"BF03037523_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0306-4379(79)90021-8","volume":"4","author":"A. L. Furtado","year":"1979","unstructured":"Furtado, A. L., Sevcik, K. C. and Dos Santos, C. S., \u201cPermitting Updates through Views of Databases,\u201dInformation Systems, 4, pp. 269\u2013283, 1979.","journal-title":"Information Systems"},{"issue":"1","key":"BF03037523_CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A. and Lloyd, J. W., \u201cUpdating Knowledge Bases,\u201dNew Generation Computing, 8, 1, pp. 71\u201389, 1990.","journal-title":"New Generation Computing"},{"key":"BF03037523_CR17","unstructured":"Kakas, A. C. and Mancarella, P., \u201cDatabase Updates Through Abduction,\u201dTechnical Report, Department of Computing, Imperial College, 1990."},{"issue":"1","key":"BF03037523_CR18","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/77643.77645","volume":"15","author":"R. Langerak","year":"1990","unstructured":"Langerak, R., \u201cView Updates in Relational Databases with an Independent Scheme,\u201dACM Transactions on Database Systems, 15, 1, pp. 40\u201366, 1990.","journal-title":"ACM Transactions on Database Systems"},{"key":"BF03037523_CR19","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, 2nd edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037523_CR20","unstructured":"Miyachi, T., Kunifuji, S., Furukawa, K. and Kitakami, H., \u201cConstraint-Based Logic Database Management: Structuring Meta-knowledge in Database Management,\u201dICOT Technical Report, TM-0095, 1985."},{"key":"BF03037523_CR21","unstructured":"Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, F., Takeuchi, A. and Yokota, H., \u201cA Knowledge Assimilation Method for Logic Databases,\u201dICOT Technical Report, TR-025, 1983."},{"key":"BF03037523_CR22","unstructured":"Nicolas, J. M. and Yazdanian, K., \u201cAn Outline of BDGEN: a Deductive DBMS,\u201d inProceedings of IFIP 83 (R. E. A. Mason, ed.), pp. 711\u2013717, 1983."},{"key":"BF03037523_CR23","doi-asserted-by":"crossref","unstructured":"Osman, I. M., \u201cUpdating Defined Relations,\u201d inProceedings of the National Computer Conference, Arlington, Va., AFIPS Press, pp. 733\u2013740, 1979.","DOI":"10.1109\/MARK.1979.8817229"},{"key":"BF03037523_CR24","series-title":"Technical Report","volume-title":"Refining Knowledge Base Updates","author":"L. M. Pereira","year":"1989","unstructured":"Pereira, L. M., Calejo, M. and Aparicio, J. N., \u201cRefining Knowledge Base Updates,\u201dTechnical Report, AI center\/Uninova, Portugal, November 1989."},{"key":"BF03037523_CR25","unstructured":"Rossi F. and Naqvi, S. A., \u201cContributions to the View Update Problem,\u201d in6th International Conference on Logic Programming (G. Levi and M. Martelli, eds.), Lisbon, pp. 398\u2013415, 1989."},{"issue":"1","key":"BF03037523_CR26","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(90)90032-Z","volume":"9","author":"T. Sato","year":"1990","unstructured":"Sato, T., \u201cCompleted Logic Programs and Their Consistency,\u201dThe Journal of Logic Programming, 9, 1, pp. 33\u201344, 1990.","journal-title":"The Journal of Logic Programming"},{"key":"BF03037523_CR27","doi-asserted-by":"crossref","unstructured":"Tomasic, A., \u201cView Update Translation via Deduction and Annotation,\u201d inProceedings of the 2nd International Conference on the Theory of Databases (M. Gyssens, J. Paredaens, and D. Van Gucht, eds.),Lecture Notes in Computer Science 326, Springer-Verlag, pp. 338\u2013352, 1988.","DOI":"10.1007\/3-540-50171-1_22"},{"key":"BF03037523_CR28","first-page":"487","volume-title":"Proceedings from the 1st International Conference on Expert Database Systems","author":"A. Weber","year":"1987","unstructured":"Weber, A., \u201cUpdating Propositional Formulas,\u201d inProceedings from the 1st International Conference on Expert Database Systems (L. Kerschberg, ed.), Benjamin\/ Cummings Publishing Company, Menlo Park, California, pp. 487\u2013500, 1987."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037523.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037523\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:59Z","timestamp":1739076059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["BF03037523"],"URL":"https:\/\/doi.org\/10.1007\/bf03037523","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}