{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:22Z","timestamp":1725564442039},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209652"},{"type":"electronic","value":"9783540246275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24627-5_4","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:27:13Z","timestamp":1283686033000},"page":"31-48","source":"Crossref","is-referenced-by-count":5,"title":["Simplification of Integrity Constraints for Data Integration"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Martinenghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Database Theory - ICDT \u201997","author":"S. Abiteboul","year":"1996","unstructured":"Abiteboul, S.: Querying semi-structured data. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 1\u201318. Springer, Heidelberg (1996)"},{"key":"4_CR2","first-page":"27","volume-title":"Proceedings of FQAS 2000","author":"M. Arenas","year":"2000","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Specifying and Querying Database Repairs using Logic Programs with Exceptions. In: Larsen, H., Kacprzyk, J., Zadrozny, S., Andreasen, T., Christiansen, H. (eds.) Proceedings of FQAS 2000, pp. 27\u201341. Physica-Verlag, A Springer-Verlag Company, Heidelberg (2000)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45758-5_5","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Amo De","year":"2002","unstructured":"De Amo, S., Carnielli, W., Marcos, J.: A Logical Framework for Integrating Inconsistent Information in Multiple Databases. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, pp. 67\u201384. Springer, Heidelberg (2002)"},{"key":"4_CR4","first-page":"51","volume-title":"PCL 2002","author":"O. Arieli","year":"2002","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. In: Decker, H., Villadsen, J., Waragaipp, T. (eds.) PCL 2002, Datalogiske Skrifter, vol.\u00a095, pp. 51\u201365. Roskilde University, Roskilde (2002)"},{"key":"4_CR5","first-page":"117","volume-title":"Proc. of the ACM SIGACT-SIGMODSIGART Smposium on Principles of Database Systems (PODS)","author":"P. Buneman","year":"1997","unstructured":"Buneman, P.: Semistructured data. In: Proc. of the ACM SIGACT-SIGMODSIGART Smposium on Principles of Database Systems (PODS), pp. 117\u2013121. ACM Press, New York (1997)"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/69.88001","volume":"3","author":"C. Baral","year":"1991","unstructured":"Baral, C., Kraus, S., Minker, J.: Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering\u00a03(2), 208\u2013220 (1991)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Kraus, S., Minker, J., Subrahmanian, S.: Combining knowledge bases consisting of first-order theories. Computational Intelligence\u00a08, 45\u201371 (1992)","journal-title":"Computational Intelligence"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45758-5_3","volume-title":"Foundations of Information and Knowledge Systems","author":"L. Bertossi","year":"2002","unstructured":"Bertossi, L., Schwind, C.: Analytic Tableaux and Database Repairs: Foundations. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, pp. 32\u201348. Springer, Heidelberg (2002)"},{"issue":"3","key":"4_CR9","first-page":"39","volume":"25","author":"A. Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the Role of Integrity Constraints in Data Integration. Bull. of the IEEE Computer Society Technical Committee on Data Engineering\u00a025(3), 39\u201345 (2002)","journal-title":"Bull. of the IEEE Computer Society Technical Committee on Data Engineering"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-47961-9_20","volume-title":"Advanced Information Systems Engineering","author":"A. Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data Integration under Integrity Constraints. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 262\u2013279. Springer, Heidelberg (2002)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-45816-6_33","volume-title":"Conceptual Modeling - ER 2002","author":"A. Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the Expressive Power of Data Integration Systems. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, pp. 338\u2013350. Springer, Heidelberg (2002)"},{"key":"4_CR12","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"U.S. Chakravarthy","year":"1987","unstructured":"Chakravarthy, U.S., Grant, J., Minker, J.: Foundations of semantic query optimization for deductive databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, San Francisco (1987)"},{"key":"4_CR13","unstructured":"Christiansen, H., Martinenghi, D.: Simplification of database integrity constraints revisited: A transformational approach. Presented at LOPSTR, Uppsala, Sweden, August 25-27 (2003), Preliminary version available at http:\/\/www.dat.ruc.dk\/~henning\/LOPSTR03.pdf"},{"key":"4_CR14","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"4_CR15","first-page":"195","volume-title":"Abductive and Inductive Reasoning: Essays on their Relation and Integration","year":"2000","unstructured":"Flach, P., Kakas, A. (eds.): Abductive and Inductive Reasoning: Essays on their Relation and Integration, pp. 195\u2013211. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"4_CR16","first-page":"265","volume-title":"Logics for Databases and Information System","author":"P. Godfrey","year":"1988","unstructured":"Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity Constraints: Semantics and Applications. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information System, pp. 265\u2013306. Kluwer, Dordrecht (1988)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S1471068401001375","volume":"2","author":"J. Grant","year":"2002","unstructured":"Grant, J., Minker, J.: A logic-based approach to data integration. Theory and Practice of Logic Programming (TPLP)\u00a02, 323\u2013368 (2002)","journal-title":"Theory and Practice of Logic Programming (TPLP)"},{"issue":"10","key":"4_CR18","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"4_CR19","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A.A. Kakas","year":"1998","unstructured":"Kakas, A.A., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"4_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-48317-9_10","volume-title":"Artificial Intelligence Today","author":"A.Y. Levy","year":"1999","unstructured":"Levy, A.Y.: Combining Artificial Intelligence and Databases for Data Integration. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 249\u2013268. Springer, Heidelberg (1999)"},{"key":"4_CR21","unstructured":"Li, C.: Describing and Utilizing Constraints to Answer Queries in Data-Integration Systems. In: IJCAI 2003 workshop on Information Integration on the Web (2003), On-line proceedings available at http:\/\/www.isi.edu\/info-agents\/workshops\/ijcai03\/proceedings.htm"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1142\/S0218843098000040","volume":"7","author":"J. Lin","year":"1998","unstructured":"Lin, J., Mendelzon, A.: Merging Databases Under Constraints. International Journal of Cooperative Information Systems\u00a07(1), 55\u201376 (1998)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"4_CR23","unstructured":"Martinenghi, D.: A Simplification Procedure for Integrity Constraints. In: World Wide Web (2003), http:\/\/www.dat.ruc.dk\/~dm\/spic\/index.html"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF00263192","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica\u00a018, 227\u2013253 (1982)","journal-title":"Acta Informatica"},{"key":"4_CR25","volume-title":"Logic, Programming and Prolog","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Ma\u0142uzy\u0144ski, J.: Logic, Programming and Prolog, 2nd edn. John Wiley & Sons Ltd., Chichester (1995)","edition":"2"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1142\/S0218196797000095","volume":"7","author":"P. Revesz","year":"1997","unstructured":"Revesz, P.: On the Semantics of Arbitration. Journal of Algebra and Computation\u00a07(2), 133\u2013160 (1997)","journal-title":"Journal of Algebra and Computation"},{"issue":"4","key":"4_CR27","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E. Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.: A survey of approaches to automatic schema matching. VLDB Journal\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB Journal"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Ullman, J.: Information integration using logical views. In: International Conference on Database Theory, pp. 19\u201340 (1997)","DOI":"10.1007\/3-540-62222-5_34"},{"key":"4_CR29","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/DASFAA.2003.1192366","volume-title":"Eighth International Conference on Database Systems for Advanced Applications (DASFAA 2003)","author":"L. Xu","year":"2003","unstructured":"Xu, L., Embley, D.: Discovering Direct and Indirect Matches for Schema Elements. In: Eighth International Conference on Database Systems for Advanced Applications (DASFAA 2003), Kyoto, Japan, pp. 39\u201346. IEEE Computer Society, Los Alamitos (2003)"}],"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-540-24627-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T05:19:30Z","timestamp":1685769570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24627-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209652","9783540246275"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24627-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}