{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:04:02Z","timestamp":1725771842855},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049380"},{"type":"electronic","value":"9783319049397"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04939-7_18","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T09:22:51Z","timestamp":1392888171000},"page":"361-380","source":"Crossref","is-referenced-by-count":5,"title":["Optimizing Computation of Repairs from Active Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-50171-1_1","volume-title":"ICDT \u201988","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S.: Updates, a new frontier. In: Gyssens, M., Paredaens, J., Van Gucht, D. (eds.) ICDT 1988. LNCS, vol.\u00a0326, pp. 1\u201318. Springer, Heidelberg (1988)"},{"key":"18_CR2","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11799573_5","volume-title":"Logic Programming","author":"L. Caroprese","year":"2006","unstructured":"Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative semantics of production rules for integrity maintenance. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 26\u201340. Springer, Heidelberg (2006)"},{"issue":"6","key":"18_CR5","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1017\/S1471068410000475","volume":"11","author":"L. Caroprese","year":"2011","unstructured":"Caroprese, L., Truszczy\u0144ski, M.: Active integrity constraints and revision programming. Theory Pract. Log. Program.\u00a011(6), 905\u2013952 (2011)","journal-title":"Theory Pract. Log. Program."},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11965893_1","volume-title":"Database Theory \u2013 ICDT 2007","author":"J. Chomicki","year":"2006","unstructured":"Chomicki, J.: Consistent query answering: Five easy pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 1\u201317. Springer, Heidelberg (2006)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Engr\u00e1cia, P., Gaspar, G., Nunes, I.: Computing repairs from active integrity constraints. In: Wang, H., Banach, R. (eds.) TASE 2013, pp. 183\u2013190. IEEE (2013)","DOI":"10.1109\/TASE.2013.32"},{"issue":"2-3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell.\u00a057(2-3), 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Scott Warren, D. (eds.) PPDP, pp. 98\u2013107. ACM (2004)","DOI":"10.1145\/1013963.1013977"},{"key":"18_CR10","unstructured":"Kakas, A.C., Mancarella, P.: Database updates through abduction. In: McLeod, D., Sacks-Davis, R., Schek, H.-J. (eds.) VLDB 1990, pp. 650\u2013661. Morgan Kaufmann (1990)"},{"key":"18_CR11","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR 1991, pp. 387\u2013394. Morgan Kaufmann (1991)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/3-540-58907-4_28","volume-title":"Database Theory - ICDT \u201995","author":"V.W. Marek","year":"1995","unstructured":"Marek, V.W., Truszczynski, M.: Revision programming, database updates and integrity constraints. In: Gottlob, G., Vardi, M.Y. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 368\u2013382. Springer, Heidelberg (1995)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/3-540-48309-8_25","volume-title":"Database and Expert Systems Applications","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: Addressing efficiency issues during the process of integrity maintenance. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol.\u00a01677, pp. 270\u2013281. Springer, Heidelberg (1999)"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Naqvi, S.A., Krishnamurthy, R.: Database updates in logic programming. In: Edmondson-Yurkanan, C., Yannakakis, M. (eds.) PODS 1988, pp. 251\u2013262. ACM (1988)","DOI":"10.1145\/308386.308451"},{"issue":"2","key":"18_CR15","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","volume":"30","author":"T.C. Przymusinski","year":"1997","unstructured":"Przymusinski, T.C., Turner, H.: Update by means of inference rules. J. Log. Program.\u00a030(2), 125\u2013143 (1997)","journal-title":"J. Log. Program."},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"Teniente, E., Oliv\u00e9, A.: Updating knowledge bases while maintaining their consistency. VLDB J.\u00a04(2), 193\u2013241 (1995)","journal-title":"VLDB J."},{"key":"18_CR17","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann (1996)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1990)","DOI":"10.1017\/CBO9780511663109"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04939-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:55:11Z","timestamp":1558860911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04939-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049380","9783319049397"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04939-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}