{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T14:31:53Z","timestamp":1673706713408},"reference-count":40,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s0169-023x(03)00061-2","type":"journal-article","created":{"date-parts":[[2003,4,24]],"date-time":"2003-04-24T23:12:32Z","timestamp":1051225952000},"page":"61-103","source":"Crossref","is-referenced-by-count":6,"title":["Consistency preserving updates in deductive databases"],"prefix":"10.1016","volume":"47","author":[{"given":"Enric","family":"Mayol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(03)00061-2_BIB1","doi-asserted-by":"crossref","unstructured":"L. Bertossi, C. Schwind, Analytic tableaux and database repairs: foundations, in: 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS\u201902), Germany, February 2002, Lecture Notes in Computer Science 2284, pp. 32\u201348","DOI":"10.1007\/3-540-45758-5_3"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB2","series-title":"7th International Conference on Logic Programming","first-page":"561","article-title":"Intensional updates: abduction via deduction","author":"Bry","year":"1990"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB3","doi-asserted-by":"crossref","unstructured":"F. Bry, H. Decker, R. Manthey, A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases, in: 7th International Conference Extending Data Base Technology (EDBT\u201988), Venice, Italy, Lecture Notes in Computer Science 303, March 1988, pp. 488\u2013505","DOI":"10.1007\/3-540-19074-0_69"},{"issue":"3","key":"10.1016\/S0169-023X(03)00061-2_BIB4","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/185827.185828","article-title":"Automatic generation of production rules for integrity maintenance","volume":"19","author":"Ceri","year":"1994","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"10.1016\/S0169-023X(03)00061-2_BIB5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/219035.219039","article-title":"An execution model for limited ambiguity rules and its application to derived data update","volume":"20","author":"Chen","year":"1995","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB6","doi-asserted-by":"crossref","unstructured":"K.L. Clark, Negation as failure, in: K. Gallaire, J. Minker (Eds.), Logic and Databases, Plenum Press, New York, 1978, pp. 293\u2013322","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB7","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00961655","article-title":"The role of abduction in database view updating","volume":"4","author":"Console","year":"1995","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB8","unstructured":"H. Decker, One abductive logic programming procedure for two kind of updates, in: Proceedings Workshop DINAMICS\u201997 at International Logic Programming Symposium, September 1997, Port Jefferson, New York"},{"issue":"2","key":"10.1016\/S0169-023X(03)00061-2_BIB9","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","article-title":"SLDNFA: an abductive procedure for abductive logic programs","volume":"34","author":"Denecker","year":"1998","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB10","doi-asserted-by":"crossref","unstructured":"P. Fraternali, S. Paraboschi, A review of repairing techniques for integrity maintenance, in: First International Workshop on Rules in Database Systems (RIDS\u201993), Edinburg, 1993, pp. 333\u2013346","DOI":"10.1007\/978-1-4471-3225-7_20"},{"issue":"1","key":"10.1016\/S0169-023X(03)00061-2_BIB11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/69.567060","article-title":"Ordering and selecting production rules for constraint maintenance: complexity and heuristic solution","volume":"9","author":"Fraternali","year":"1997","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB12","doi-asserted-by":"crossref","unstructured":"E. Franconi, A.L. Palma, N. Leone, S. Perri, F. Scarello, Census data repairing: a challenging application of disjunctive logic programming, in: 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR\u201901), Havana, Cuba, December, 2001, Lecture Notes in Computer Science 2250, pp. 561\u2013578","DOI":"10.1007\/3-540-45653-8_39"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB13","unstructured":"C. Garc\u0131\u0301a, M. Celma, L. Mota, H. Decker, Comparing and synthesizing integrity checking methods for deductive databases, in: 10th International Conference on Data Engineering ICDE\u201994, Houston, USA, 1994, pp. 214\u2013222"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB14","doi-asserted-by":"crossref","unstructured":"M. Gertz, Specifying reactive integrity control for active databases, in: Proceedings of RIDE\u201994, Houston, TX, 1994, pp. 62\u201370","DOI":"10.1109\/RIDE.1994.282852"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB15","doi-asserted-by":"crossref","unstructured":"M. Gertz, U.W. Lipeck, An extensible framework for repairing constraint violations, in: Proceedings of Integrity and Internal Control in Information Systems (IICIS\u201997), Zurich, Switzerland, December 1997, pp. 89\u2013111","DOI":"10.1007\/978-0-387-35317-3_5"},{"issue":"1","key":"10.1016\/S0169-023X(03)00061-2_BIB16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","article-title":"Updating knowledge bases","volume":"8","author":"Guessoum","year":"1990","journal-title":"New Generation Computing"},{"issue":"3\u20134","key":"10.1016\/S0169-023X(03)00061-2_BIB17","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1018926021566","article-title":"Computing extended abduction through transaction programs","volume":"25","author":"Inoue","year":"1999","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB18","unstructured":"Special Issue on Abduction of the Journal of Logic Programming 44 (2000)"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB19","unstructured":"A.C. Kakas, P. Mancarella, Database updates through abduction, in: Proceedings of the 16th VLDB Conference, Brisbane, Australia, 1990, pp. 650\u2013661"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB20","unstructured":"R. Kowalski, F. Sadri, Logic programs with exceptions, in: Seventh International Conference of Logic Programming ICLP\u201990, 1990, 598\u2013613"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB21","series-title":"Foundations on Logic Programming","author":"Lloyd","year":"1987"},{"issue":"3","key":"10.1016\/S0169-023X(03)00061-2_BIB22","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","article-title":"Making prolog more expressive","author":"Lloyd","year":"1984","journal-title":"Journal of Logic Programming"},{"issue":"1\u20132","key":"10.1016\/S0169-023X(03)00061-2_BIB23","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/11663081.1997.10510902","article-title":"Minimal and consistent evolution in knowledge bases","volume":"7","author":"Lobo","year":"1997","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB24","unstructured":"S. Maabout, Maintaining and restoring database consistency with update rules, in: Proceedings of DYNAMICS\u201998 (post-conference Work Of JICSLP\u201998), Manchester, June 98"},{"issue":"4","key":"10.1016\/S0169-023X(03)00061-2_BIB25","doi-asserted-by":"crossref","first-page":"670","DOI":"10.1145\/115302.115298","article-title":"Reactive consistency control in deductive databases","volume":"16","author":"Moerkotte","year":"1991","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB26","doi-asserted-by":"crossref","unstructured":"E. Mayol, E. Teniente, Structuring the process of integrity maintenance, in: 8th International Conference on Database and Expert Systems Applications DEXA\u201997, Toulouse, France, September 1997, pp. 262\u2013275","DOI":"10.1007\/BFb0022037"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB27","doi-asserted-by":"crossref","unstructured":"E. Mayol, E. Teniente, Addressing efficiency issues during the process of integrity maintenance, in: 10th International Conference on Database and Expert Systems Applications DEXA\u201999, Florence, Italy, September 1999, pp. 270\u2013281","DOI":"10.1007\/3-540-48309-8_25"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB28","doi-asserted-by":"crossref","unstructured":"E. Mayol, E. Teniente, A survey of current methods for integrity constraint maintenance and view updating, in: First International Workshop on Evolution and Change in Data Management ECDM\u201999, Workshop associated to the ER\u201999, Paris, France, November 1999, pp. 62\u201373","DOI":"10.1007\/3-540-48054-4_6"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB29","doi-asserted-by":"crossref","unstructured":"E. Mayol, E. Teniente, Dealing with modification requests during view updating and integrity constraint maintenance, in: First International Symposium on Foundations of Information and Knowledge Systems (FoIKS\u201900), Burg, 2000, pp.192\u2013212","DOI":"10.1007\/3-540-46564-2_12"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB30","unstructured":"E. Mayol, Actualitzaci\u00f3 consistent de bases de dades deductives, Ph.D. Thesis, Barcelona, 2000 (in Catalan)"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB31","unstructured":"E. Mayol, E. Teniente, Consistency preserving updates in deductive databases, Technical Report LSI-01-28-R, LSI Department, UPC"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB32","unstructured":"A. Oliv\u00e9, Integrity checking in deductive databases, in: Proceedings of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513\u2013523"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB33","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0169-023X(94)00032-A","article-title":"A new method for integrity constraint checking in deductive data bases","volume":"15","author":"Selj\u00e9e","year":"1995","journal-title":"Data and Knowledge Engineering"},{"issue":"3","key":"10.1016\/S0169-023X(03)00061-2_BIB34","first-page":"277","article-title":"Limitations of rule triggering systems for integrity maintenance in the context of transition specifications","volume":"13","author":"Schewe","year":"1998","journal-title":"Acta Cybernetica"},{"issue":"2","key":"10.1016\/S0169-023X(03)00061-2_BIB35","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s002360050155","article-title":"Towards a theory of consistency enforcement","volume":"36","author":"Schewe","year":"1999","journal-title":"Acta Informatica"},{"issue":"2","key":"10.1016\/S0169-023X(03)00061-2_BIB36","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF01237920","article-title":"Updating knowledge bases while maintaining their consistency","volume":"4","author":"Teniente","year":"1995","journal-title":"The VLDB Journal"},{"issue":"3","key":"10.1016\/S0169-023X(03)00061-2_BIB37","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S1471068402001631","article-title":"On the abductive and deductive nature of update processing and schema validation problems","volume":"3","author":"Teniente","year":"2003","journal-title":"Theory and Practice of Logic Programming (TPLP) Journal"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB38","doi-asserted-by":"crossref","unstructured":"E. Teniente, T. Urp\u0131\u0301, A common framework for classifying and specifying deductive database updating problems, in: 11th International Conference on Data Engineering ICDE, Taipei, Taiwan, 1995, pp. 173\u2013183","DOI":"10.1109\/ICDE.1995.380395"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB39","unstructured":"T. Urp\u0131\u0301, A. Oliv\u00e9, A method for change computation in deductive databases, in: Proceedings of the 18th VLDB Conference, Vancouver, 1992, pp. 225\u2013237"},{"key":"10.1016\/S0169-023X(03)00061-2_BIB40","doi-asserted-by":"crossref","unstructured":"B. W\u00fcthrich, On updates and inconsistency repairing in knowledge bases, in: International Conference on Data Engineering ICDE\u201993, Vienna, 1993, pp. 608\u2013615","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X03000612?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X03000612?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,18]],"date-time":"2020-03-18T12:27:32Z","timestamp":1584534452000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X03000612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S0169023X03000612"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(03)00061-2","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}