Exchange-Repairs Managing Inconsistency in Data Exchange
In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data sources contain inconsistent or conflicting information that is exposed by the target constraints at hand. In such cases, the semantics of targe...
Uloženo v:
| Vydáno v: | Journal on data semantics Ročník 5; číslo 2; s. 77 - 97 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.06.2016
|
| Témata: | |
| ISSN: | 1861-2032, 1861-2040 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data sources contain inconsistent or conflicting information that is exposed by the target constraints at hand. In such cases, the semantics of target queries trivialize, because the certain answers of every target query over the given source instance evaluate to “true”. The aim of this paper is to introduce and explore a new framework that gives meaningful semantics in such cases using the notion of exchange-repairs. Informally, an exchange-repair of a source instance is another source instance that differs minimally from the first, but has a solution. In turn, exchange-repairs give rise to a natural notion of exchange-repair certain answers (in short, XR-certain answers) for target queries in the context of data exchange with target constraints. After exploring the structural properties of exchange-repairs, we focus on the problem of computing the XR-certain answers of conjunctive queries. We show that for schema mappings specified by source-to-target GAV dependencies and target equality-generating dependencies (egds), the XR-certain answers of a target conjunctive query can be rewritten as the consistent answers (in the sense of standard database repairs) of a union of conjunctive queries over the source schema with respect to a set of egds over the source schema, thus making it possible to use a consistent query answering system to compute XR-certain answers in data exchange. In contrast, we show that this type of rewriting is neither possible for schema mappings specified by source-to-target LAV dependencies and target egds, nor for schema mappings specified by both source-to-target and target GAV dependencies. We then examine the general case of schema mappings specified by source-to-target GLAV constraints, a weakly acyclic set of target tgds and a set of target egds. The main result asserts that, for such settings, the XR-certain answers of conjunctive queries can be rewritten as the certain answers of a union of conjunctive queries with respect to the stable models of a disjunctive logic program over a suitable expansion of the source schema. |
|---|---|
| AbstractList | In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data sources contain inconsistent or conflicting information that is exposed by the target constraints at hand. In such cases, the semantics of target queries trivialize, because the certain answers of every target query over the given source instance evaluate to “true”. The aim of this paper is to introduce and explore a new framework that gives meaningful semantics in such cases using the notion of exchange-repairs. Informally, an exchange-repair of a source instance is another source instance that differs minimally from the first, but has a solution. In turn, exchange-repairs give rise to a natural notion of exchange-repair certain answers (in short, XR-certain answers) for target queries in the context of data exchange with target constraints. After exploring the structural properties of exchange-repairs, we focus on the problem of computing the XR-certain answers of conjunctive queries. We show that for schema mappings specified by source-to-target GAV dependencies and target equality-generating dependencies (egds), the XR-certain answers of a target conjunctive query can be rewritten as the consistent answers (in the sense of standard database repairs) of a union of conjunctive queries over the source schema with respect to a set of egds over the source schema, thus making it possible to use a consistent query answering system to compute XR-certain answers in data exchange. In contrast, we show that this type of rewriting is neither possible for schema mappings specified by source-to-target LAV dependencies and target egds, nor for schema mappings specified by both source-to-target and target GAV dependencies. We then examine the general case of schema mappings specified by source-to-target GLAV constraints, a weakly acyclic set of target tgds and a set of target egds. The main result asserts that, for such settings, the XR-certain answers of conjunctive queries can be rewritten as the certain answers of a union of conjunctive queries with respect to the stable models of a disjunctive logic program over a suitable expansion of the source schema. |
| Author | ten Cate, Balder Halpert, Richard L. Kolaitis, Phokion G. |
| Author_xml | – sequence: 1 givenname: Balder surname: ten Cate fullname: ten Cate, Balder organization: University of California Santa Cruz, LogicBlox, Inc – sequence: 2 givenname: Richard L. surname: Halpert fullname: Halpert, Richard L. email: rhalpert@ucsc.edu organization: University of California Santa Cruz – sequence: 3 givenname: Phokion G. surname: Kolaitis fullname: Kolaitis, Phokion G. organization: University of California Santa Cruz, IBM Research-Almaden |
| BookMark | eNp9z01LAzEQgOEgFay14NUfEZ1JssnuUUr9gIIgeg7Z7ES31GxJVtB_b8qKBw_NZXJ5Z3jO2SwOkRi7QrhGAHOTURoFHFBzgMpwdcLmWGvkAhTM_v5SnLFlzlsoT6PUNczZ5frLv7v4RvyZ9q5P-YKdBrfLtPydC_Z6t35ZPfDN0_3j6nbDvZR65LLTbdu5UFOroRMklK-8VkG7QE1jjPGEgUCp0MgGZSM8eQBZh6qi1rcgFwynvT4NOScKdp_6D5e-LYI9qOykskVlDyqrSmP-Nb4f3dgPcUyu3x0txVTmcqVok90OnykW4JHoByH7YW0 |
| CitedBy_id | crossref_primary_10_1145_3044712 crossref_primary_10_1007_s13218_020_00680_9 |
| Cites_doi | 10.1609/aaai.v28i1.8855 10.1016/j.jcss.2006.10.013 10.2200/S00297ED1V01Y201008DTM008 10.1145/543613.543644 10.1007/978-3-540-30227-8_14 10.1007/978-3-540-72982-2_14 10.1016/j.datak.2010.01.005 10.1016/j.tcs.2004.10.033 10.1145/1559795.1559799 10.1016/j.ic.2004.04.007 10.1007/978-3-319-11113-1_10 10.2200/S00379ED1V01Y201108DTM020 10.1145/1804669.1804698 10.1145/1149114.1149117 10.1016/j.jcss.2013.01.002 10.1145/1142351.1142357 10.2168/LMCS-7(3:13)2011 10.1145/1114244.1114249 10.1609/aaai.v29i1.9414 10.1007/3-540-36109-X_6 10.1145/303976.303983 10.1007/978-3-642-15918-3_9 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag Berlin Heidelberg 2016 |
| Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2016 |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s13740-016-0057-4 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1861-2040 |
| EndPage | 97 |
| ExternalDocumentID | 10_1007_s13740_016_0057_4 |
| GrantInformation_xml | – fundername: National Science Foundation (US) grantid: IIS-1217869 funderid: http://dx.doi.org/10.13039/100000001 |
| GroupedDBID | -EM 0R~ 0VY 203 30V 4.4 408 409 96X AAAVM AAHNG AAIAL AAJKR AARHV AARTL AATVU AAWCG AAYIU AAYQN AAYTO AAYZH AAZMS ABBXA ABDZT ABECU ABFTD ABFTV ABJNI ABJOX ABKCH ABMQK ABQBU ABTEG ABTHY ABTMW ABXPI ACBXY ACGFS ACKNC ACMLO ACOKC ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADURQ ADYFF ADZKW AEBTG AEGNC AEJHL AEJRE AEOHA AEPYU AETCA AEXYK AFBBN AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGQMX AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AI. AIIXL AILAN AITGF AJBLW AJRNO AJZVZ AKLTO ALFXC ALMA_UNASSIGNED_HOLDINGS AMKLP AMYQR ANMIH ASPBG AUKKA AVWKF AXYYD AYJHY AZFZN BGNMA CSCUP DNIVK EBS EIOEI EJD ESBYG FEDTE FERAY FINBP FNLPD FRRFC FSGXE FYJPI GGRSB GJIRD GQ6 HF~ HMJXF HQYDN HRMNR HVGLF HZ~ I0C IXD J-C JBSCW JCJTX KOV M4Y NQJWS NU0 O9- O93 O9G O9J RLLFE RSV SCO SHX SISQX SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE TSG UG4 UOJIU UTJUX UZXMN VC2 VFIZW VH1 W48 Z83 Z88 ZMTXR AAYXX ABFSG ACSTC AEZWR AFHIU AHWEU AIXLP CITATION EBLON |
| ID | FETCH-LOGICAL-c336t-3d6bbdaf8eb60d2e24c5c64f6afe99777ce1fe044f9391392cec0038f55ebcb03 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 5 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000383477700002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1861-2032 |
| IngestDate | Tue Nov 18 20:47:32 EST 2025 Sat Nov 29 04:23:44 EST 2025 Fri Feb 21 02:34:49 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Keywords | Data exchange Certain answers Stable models Disjunctive logic programming Database repairs Consistent query answering |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c336t-3d6bbdaf8eb60d2e24c5c64f6afe99777ce1fe044f9391392cec0038f55ebcb03 |
| PageCount | 21 |
| ParticipantIDs | crossref_primary_10_1007_s13740_016_0057_4 crossref_citationtrail_10_1007_s13740_016_0057_4 springer_journals_10_1007_s13740_016_0057_4 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-06-01 |
| PublicationDateYYYYMMDD | 2016-06-01 |
| PublicationDate_xml | – month: 06 year: 2016 text: 2016-06-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg |
| PublicationSubtitle | Concepts and Ideas for Building Knowledgeable Systems |
| PublicationTitle | Journal on data semantics |
| PublicationTitleAbbrev | J Data Semant |
| PublicationYear | 2016 |
| Publisher | Springer Berlin Heidelberg |
| Publisher_xml | – name: Springer Berlin Heidelberg |
| References | Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Kowalski RA, Bowen KA (eds) ICLP/SLP. MIT Press, pp 1070–1080 FaginRKolaitisPGMillerRJPopaLData exchange: semantics and query answeringTheor Comput Sci2005336189124213569310.1016/j.tcs.2004.10.0331080.68019 Alviano M, Faber W, Leone N, Perri S, Pfeifer G, Terracina G (2010) The disjunctive datalog system dlv. In: Datalog, pp 282–301 ten Cate B, Halpert RL, Kolaitis PG (2014) Exchange-repairs: managing inconsistency in data exchange. In: Kontchakov R, Mugnier M-L (eds) RR. Lecture notes in computer science, vol 8741. Springer, Berlin, pp 140–156 Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rosati R (2007) Ontology-based database access. In: Proceedings of the fifteenth Italian symposium on advanced database systems, SEBD 2007, 17–20 June 2007. Torre Canne, Fasano, BR, Italy, pp 324–331 Lukasiewicz T, Martinez MV, Pieris A, Simari GI (2015) From classical to consistent query answering under existential rules. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, January 25–30, 2015, Austin, Texas, USA, pp 1546–1552 Arenas M, Fagin R, Nash A (2011) Composition with target constraints. Log Methods Comput Sci 7(3:13):1–38 ChomickiJMarcinkowskiJMinimal-change integrity maintenance using tuple deletionsInf Comput20051971–290121212636410.1016/j.ic.2004.04.0071075.68022 Grahne G, Onet A (2010) Data correspondence, exchange and repair. In: Segoufin L (ed) ICDT. ACM, ACM international conference proceeding series, pp 219–230 Marnette B (2009) Generalized schema-mappings: from termination to tractability. In: Paredaens J, Su J (eds) PODS. ACM, pp 13–22 Arenas M, Bertossi LE, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Vianu V, Papadimitriou CH (eds) PODS. ACM Press, pp 68–79 FuxmanAMillerRJFirst-order query rewriting for inconsistent databasesJ Comput Syst Sci2007734610635232018710.1016/j.jcss.2006.10.0131112.68042 Bertossi LE (2011) Database repairing and consistent query answering. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 16–21 ten Cate B, Fontaine G, Kolaitis PG (2014) On the data complexity of consistent query answering. Theory Comput Syst 57(4):843–891 Kolaitis PG, Panttaja J, Tan WC (2006) The complexity of data exchange. In: Vansummeren S (ed) PODS. ACM, pp 30–39 Afrati FN, Kolaitis PG (2009) Repair checking in inconsistent databases: algorithms and complexity. In: Fagin R (ed) ICDT. ACM international conference proceeding series, vol 361. ACM, pp 31–41 MarileoMCBertossiLEThe consistency extractor system: answer set programs for consistent query answering in databasesData Knowl Eng201069654557210.1016/j.datak.2010.01.005 Arenas M, Barceló P, Libkin L, Murlak F (2010) Relational and XML data exchange. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael Rosati R (2011) On the complexity of dealing with inconsistency in description logic ontologies. In: IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011, pp 1057–1062 Lenzerini M (2002) Data integration: a theoretical perspective. In: Popa L, Abiteboul S, Kolaitis PG (eds) PODS. ACM, pp 233–246 Krötzsch M, Rudolph S (2011) Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh T (ed) IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011. IJCAI/AAAI, pp 963–968 Bravo L, Bertossi LE (2003) Logic programs for consistently querying data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 10–15 LeoneNPfeiferGFaberWEiterTGottlobGPerriSScarcelloFThe dlv system for knowledge representation and reasoningACM Trans Comput Log200673499562224955810.1145/1149114.1149117 Bertossi LE, Chomicki J, Cortés-Calabuig A, Gutiérrez C (2002) Consistent answers from integrated data sources. In: Andreasen T, Motro A, Christiansen H, Larsen HL (eds) FQAS. Lecture notes in computer science, vol 2522. Springer, Berlin, pp 71–85 Bienvenu M, Bourgaux C, Goasdoué F (2014) Querying inconsistent description logic knowledge bases under preferred repair semantics. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, July 27–31, 2014. Québec City, Québec, Canada, pp 996–1002 Lembo D, Lenzerini M, Rosati R (2002) Source inconsistency and incompleteness in data integration. In: Borgida A, Calvanese D, Cholvy L, Rousset M (eds) Proceedings of the 9th international workshop on knowledge representation meets databases (KRDB 2002), Toulouse, France, April 21, 2002. CEUR workshop proceedings, vol 54. CEUR-WS.org Marnette B Resolution and datalog rewriting under value invention and equality constraints. CoRR, pp 1–12 (2012). arXiv:1212.0254 Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2010) Inconsistency-tolerant semantics for description logics. In: Web reasoning and rule systems—fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings, pp 103–117 Lembo D, Ruzzi M (2007) Consistent query answering over description logic ontologies. In: Marchiori M, Pan JZ, de Sainte Marie C (eds) Web reasoning and rule systems, first international conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings. Lecture notes in computer science, vol 4524. Springer, Berlin, pp 194–208 Janhunen T, Oikarinen E (2004) Capturing parallel circumscription with disjunctive logic programs. In: Alferes JJ, Leite JA (eds) JELIA. Lecture notes in computer science, vol 3229. Springer, Berlin, pp 134–146 Bienvenu M, Rosati R (2013) Tractable approximations of consistent query answering for robust ontology-based data access. In: IJCAI 2013, proceedings of the 23rd international joint conference on artificial intelligence, Beijing, China, August 3–9, 2013 Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob and Walsh [24], pp 16–21 Bienvenu M (2012) On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the twenty-sixth AAAI conference on artificial intelligence, July 22–26, 2012, Toronto, Ontario, Canada FaginRKolaitisPGPopaLTanWCComposing schema mappings: second-order dependencies to the rescueACM Trans Database Syst2005304994105510.1145/1114244.1114249 Duschka OM, Genesereth MR (1997) Answering recursive queries using views. In: Mendelzon AO, Özsoyoglu ZM (eds) PODS. ACM Press, pp 109–116 ArenasMPérezJReutterJLRiverosCThe language of plain so-tgds: composition, inversion and structural propertiesJ Comput Syst Sci2013796763784305372510.1016/j.jcss.2013.01.00206247772 57_CR19 57_CR18 57_CR17 57_CR15 57_CR37 57_CR14 57_CR36 57_CR13 57_CR35 57_CR12 57_CR11 J Chomicki (57_CR16) 2005; 197 A Fuxman (57_CR22) 2007; 73 57_CR33 57_CR10 57_CR31 57_CR30 MC Marileo (57_CR34) 2010; 69 M Arenas (57_CR6) 2013; 79 57_CR1 57_CR2 57_CR3 R Fagin (57_CR21) 2005; 30 57_CR8 R Fagin (57_CR20) 2005; 336 57_CR9 57_CR4 cr-split#-57_CR27.1 57_CR29 57_CR5 cr-split#-57_CR27.2 57_CR28 57_CR7 57_CR26 57_CR25 57_CR24 57_CR23 N Leone (57_CR32) 2006; 7 |
| References_xml | – reference: Arenas M, Bertossi LE, Chomicki J (1999) Consistent query answers in inconsistent databases. In: Vianu V, Papadimitriou CH (eds) PODS. ACM Press, pp 68–79 – reference: Arenas M, Barceló P, Libkin L, Murlak F (2010) Relational and XML data exchange. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael – reference: Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 16–21 – reference: Janhunen T, Oikarinen E (2004) Capturing parallel circumscription with disjunctive logic programs. In: Alferes JJ, Leite JA (eds) JELIA. Lecture notes in computer science, vol 3229. Springer, Berlin, pp 134–146 – reference: Bienvenu M (2012) On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the twenty-sixth AAAI conference on artificial intelligence, July 22–26, 2012, Toronto, Ontario, Canada – reference: Lembo D, Ruzzi M (2007) Consistent query answering over description logic ontologies. In: Marchiori M, Pan JZ, de Sainte Marie C (eds) Web reasoning and rule systems, first international conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings. Lecture notes in computer science, vol 4524. Springer, Berlin, pp 194–208 – reference: Marnette B Resolution and datalog rewriting under value invention and equality constraints. CoRR, pp 1–12 (2012). arXiv:1212.0254 – reference: MarileoMCBertossiLEThe consistency extractor system: answer set programs for consistent query answering in databasesData Knowl Eng201069654557210.1016/j.datak.2010.01.005 – reference: Arenas M, Fagin R, Nash A (2011) Composition with target constraints. Log Methods Comput Sci 7(3:13):1–38 – reference: Kolaitis PG, Panttaja J, Tan WC (2006) The complexity of data exchange. In: Vansummeren S (ed) PODS. ACM, pp 30–39 – reference: Bienvenu M, Bourgaux C, Goasdoué F (2014) Querying inconsistent description logic knowledge bases under preferred repair semantics. In: Proceedings of the twenty-eighth AAAI conference on artificial intelligence, July 27–31, 2014. Québec City, Québec, Canada, pp 996–1002 – reference: FuxmanAMillerRJFirst-order query rewriting for inconsistent databasesJ Comput Syst Sci2007734610635232018710.1016/j.jcss.2006.10.0131112.68042 – reference: Bravo L, Bertossi LE (2003) Logic programs for consistently querying data integration systems. In: Gottlob G, Walsh T (eds) IJCAI 2003, proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9–15, pp 10–15 – reference: ten Cate B, Fontaine G, Kolaitis PG (2014) On the data complexity of consistent query answering. Theory Comput Syst 57(4):843–891 – reference: Lembo D, Lenzerini M, Rosati R, Ruzzi M, Savo DF (2010) Inconsistency-tolerant semantics for description logics. In: Web reasoning and rule systems—fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings, pp 103–117 – reference: Bertossi LE (2011) Database repairing and consistent query answering. In: Synthesis lectures on data management. Morgan & Claypool Publishers, San Rafael – reference: Afrati FN, Kolaitis PG (2009) Repair checking in inconsistent databases: algorithms and complexity. In: Fagin R (ed) ICDT. ACM international conference proceeding series, vol 361. ACM, pp 31–41 – reference: Grahne G, Onet A (2010) Data correspondence, exchange and repair. In: Segoufin L (ed) ICDT. ACM, ACM international conference proceeding series, pp 219–230 – reference: Lembo D, Lenzerini M, Rosati R (2002) Source inconsistency and incompleteness in data integration. In: Borgida A, Calvanese D, Cholvy L, Rousset M (eds) Proceedings of the 9th international workshop on knowledge representation meets databases (KRDB 2002), Toulouse, France, April 21, 2002. CEUR workshop proceedings, vol 54. CEUR-WS.org – reference: LeoneNPfeiferGFaberWEiterTGottlobGPerriSScarcelloFThe dlv system for knowledge representation and reasoningACM Trans Comput Log200673499562224955810.1145/1149114.1149117 – reference: Bertossi LE, Chomicki J, Cortés-Calabuig A, Gutiérrez C (2002) Consistent answers from integrated data sources. In: Andreasen T, Motro A, Christiansen H, Larsen HL (eds) FQAS. Lecture notes in computer science, vol 2522. Springer, Berlin, pp 71–85 – reference: Calì A, Lembo D, Rosati R (2003) Query rewriting and answering under constraints in data integration systems. In: Gottlob and Walsh [24], pp 16–21 – reference: Marnette B (2009) Generalized schema-mappings: from termination to tractability. In: Paredaens J, Su J (eds) PODS. ACM, pp 13–22 – reference: Krötzsch M, Rudolph S (2011) Extending decidable existential rules by joining acyclicity and guardedness. In: Walsh T (ed) IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011. IJCAI/AAAI, pp 963–968 – reference: Lukasiewicz T, Martinez MV, Pieris A, Simari GI (2015) From classical to consistent query answering under existential rules. In: Proceedings of the twenty-ninth AAAI conference on artificial intelligence, January 25–30, 2015, Austin, Texas, USA, pp 1546–1552 – reference: FaginRKolaitisPGPopaLTanWCComposing schema mappings: second-order dependencies to the rescueACM Trans Database Syst2005304994105510.1145/1114244.1114249 – reference: Duschka OM, Genesereth MR (1997) Answering recursive queries using views. In: Mendelzon AO, Özsoyoglu ZM (eds) PODS. ACM Press, pp 109–116 – reference: Alviano M, Faber W, Leone N, Perri S, Pfeifer G, Terracina G (2010) The disjunctive datalog system dlv. In: Datalog, pp 282–301 – reference: Rosati R (2011) On the complexity of dealing with inconsistency in description logic ontologies. In: IJCAI 2011, proceedings of the 22nd international joint conference on artificial intelligence, Barcelona, Catalonia, Spain, July 16–22, 2011, pp 1057–1062 – reference: Bienvenu M, Rosati R (2013) Tractable approximations of consistent query answering for robust ontology-based data access. In: IJCAI 2013, proceedings of the 23rd international joint conference on artificial intelligence, Beijing, China, August 3–9, 2013 – reference: Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. In: Kowalski RA, Bowen KA (eds) ICLP/SLP. MIT Press, pp 1070–1080 – reference: FaginRKolaitisPGMillerRJPopaLData exchange: semantics and query answeringTheor Comput Sci2005336189124213569310.1016/j.tcs.2004.10.0331080.68019 – reference: Lenzerini M (2002) Data integration: a theoretical perspective. In: Popa L, Abiteboul S, Kolaitis PG (eds) PODS. ACM, pp 233–246 – reference: ArenasMPérezJReutterJLRiverosCThe language of plain so-tgds: composition, inversion and structural propertiesJ Comput Syst Sci2013796763784305372510.1016/j.jcss.2013.01.00206247772 – reference: ten Cate B, Halpert RL, Kolaitis PG (2014) Exchange-repairs: managing inconsistency in data exchange. In: Kontchakov R, Mugnier M-L (eds) RR. Lecture notes in computer science, vol 8741. Springer, Berlin, pp 140–156 – reference: Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rosati R (2007) Ontology-based database access. In: Proceedings of the fifteenth Italian symposium on advanced database systems, SEBD 2007, 17–20 June 2007. Torre Canne, Fasano, BR, Italy, pp 324–331 – reference: ChomickiJMarcinkowskiJMinimal-change integrity maintenance using tuple deletionsInf Comput20051971–290121212636410.1016/j.ic.2004.04.0071075.68022 – ident: 57_CR10 doi: 10.1609/aaai.v28i1.8855 – ident: 57_CR2 – volume: 73 start-page: 610 issue: 4 year: 2007 ident: 57_CR22 publication-title: J Comput Syst Sci doi: 10.1016/j.jcss.2006.10.013 – ident: 57_CR3 doi: 10.2200/S00297ED1V01Y201008DTM008 – ident: 57_CR31 doi: 10.1145/543613.543644 – ident: 57_CR25 doi: 10.1007/978-3-540-30227-8_14 – ident: 57_CR30 doi: 10.1007/978-3-540-72982-2_14 – ident: 57_CR23 – ident: 57_CR14 – volume: 69 start-page: 545 issue: 6 year: 2010 ident: 57_CR34 publication-title: Data Knowl Eng doi: 10.1016/j.datak.2010.01.005 – ident: 57_CR37 – volume: 336 start-page: 89 issue: 1 year: 2005 ident: 57_CR20 publication-title: Theor Comput Sci doi: 10.1016/j.tcs.2004.10.033 – ident: 57_CR35 doi: 10.1145/1559795.1559799 – volume: 197 start-page: 90 issue: 1–2 year: 2005 ident: 57_CR16 publication-title: Inf Comput doi: 10.1016/j.ic.2004.04.007 – ident: 57_CR18 doi: 10.1007/978-3-319-11113-1_10 – ident: #cr-split#-57_CR27.1 – ident: 57_CR12 – ident: 57_CR7 doi: 10.2200/S00379ED1V01Y201108DTM020 – ident: 57_CR24 doi: 10.1145/1804669.1804698 – ident: 57_CR28 – ident: 57_CR9 – volume: 7 start-page: 499 issue: 3 year: 2006 ident: 57_CR32 publication-title: ACM Trans Comput Log doi: 10.1145/1149114.1149117 – volume: 79 start-page: 763 issue: 6 year: 2013 ident: 57_CR6 publication-title: J Comput Syst Sci doi: 10.1016/j.jcss.2013.01.002 – ident: 57_CR26 doi: 10.1145/1142351.1142357 – ident: 57_CR1 – ident: 57_CR5 doi: 10.2168/LMCS-7(3:13)2011 – volume: 30 start-page: 994 issue: 4 year: 2005 ident: 57_CR21 publication-title: ACM Trans Database Syst doi: 10.1145/1114244.1114249 – ident: 57_CR13 – ident: 57_CR15 – ident: 57_CR36 – ident: 57_CR33 doi: 10.1609/aaai.v29i1.9414 – ident: 57_CR8 doi: 10.1007/3-540-36109-X_6 – ident: 57_CR19 – ident: 57_CR4 doi: 10.1145/303976.303983 – ident: 57_CR17 – ident: 57_CR11 – ident: 57_CR29 doi: 10.1007/978-3-642-15918-3_9 – ident: #cr-split#-57_CR27.2 |
| SSID | ssj0000613680 |
| Score | 2.0057006 |
| Snippet | In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data... |
| SourceID | crossref springer |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 77 |
| SubjectTerms | Artificial Intelligence Computer Science Database Management Information Storage and Retrieval Information Systems Applications (incl.Internet) IT in Business Original Article |
| Subtitle | Managing Inconsistency in Data Exchange |
| Title | Exchange-Repairs |
| URI | https://link.springer.com/article/10.1007/s13740-016-0057-4 |
| Volume | 5 |
| WOSCitedRecordID | wos000383477700002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1861-2040 dateEnd: 20211231 omitProxy: false ssIdentifier: ssj0000613680 issn: 1861-2032 databaseCode: RSV dateStart: 20120501 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEB509aAHq6vi-qIHT0qgbdI0PYrs4mkRX-ytJGkCgqyyreLPN9Omuy6ooPdpyLPzJTPzfQBn0l11kLSAsNxygpRuREUqI1KYWHIHsGPdik1k47GYTPIbX8ddddnuXUiy-VMvit1ohqmIsbsBO5BB2CqsOW8nUK_h9u5x_rCCDoo3immx4DFBhfAumvldK8v-aDkY2viYUfCv3m3DloeU4WW7B3ZgxUz7EHRyDaE_vX3Y_MI9uAvB8KMt-iUOg2NQZw8eRsP7q2vi5RGIppTXhJZcqVJaYRSPysQkTKeaM8ulNbmDdZk2sTURYzanSP6ZaKMxEGjT1CitIroPvenL1BxAyJgDQporKXPKFBUyM8Jqy0qHrxwmUwOIukkqtOcORwmL52LBeozjLzBfDMdfsAGczz95bYkzfjO-6Ga18Geo-tn68E_WR7CRNMuCLyfH0Ktnb-YE1vV7_VTNTpu98wm39roy |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fS8MwED50CuqD06k4f_bBJyXQNFnaPopsTJxDdMreSpImMJApWxX_fHP9sTlQQd-vbZImuS-5u-8DOJPuqIOkBYTHVhCkdCPKVyGRkaFSOIBNdSE2Efb70XAY35V13NMq270KSeY79bzYjYWYikjdCdiBDMKXYYW7ryBh_v3D0-xiBR2UyBXTaCQoQYXwKpr53VsW_dFiMDT3MZ36v1q3BZslpPQuizmwDUtm3IB6Jdfglau3ARtfuAd3oN7-KIp-icPgGNTZhcdOe3DVJaU8AtGMiYywVCiVShsZJfw0MAHXLS24FdKa2MG6UBtqjc-5jRmSfwbaaAwE2lbLKK18tge18cvY7IPHuQNCWigpY8YVi2RoIqstTx2-cphMNcGvBinRJXc4Slg8J3PWY-x_gvli2P-EN-F89shrQZzxm_FFNapJuYamP1sf_Mn6FNa6g9te0rvu3xzCepD_IrxFOYJaNnkzx7Cq37PRdHKSz6NPfSK9Fg |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED90iuiD1ak4P_fgkxLWNlnaPoquKMoY-MHeSpImMJA6tir--eb6sTlQQXy_luaacL_L3f1-AGfCpjpIWkBYZDhBSjciXRkQEWpPcAuwPVWKTQT9fjgcRoNK53Rad7vXJclypgFZmrK8M05NZz74RgNsS_RsNmwBB2HLsMKwjx7T9Yfn2SULBiteqKd5IfcIqoXXlc3v3rIYmxYLo0W8iZ1_f-kWbFZQs31Z7o1tWNJZE5xaxqFdneombHzhJNwBp_dRDgMTi82x2LMLT3Hv8eqGVLIJRFHKc0JTLmUqTKgld1Nf-0x1FWeGC6MjC_cCpT2jXcZMRJEU1FdaYYHQdLtaKunSPWhkr5nehzZjFiApLoWIKJM0FIEOjTIstbjLelu2wK0dlqiKUxylLV6SORsyrj_BPjJcf8JacD57ZFwSavxmfFF7OKnO1vRn64M_WZ_C2uA6Tu5v-3eHsO4XfwgvV46gkU_e9DGsqvd8NJ2cFFvqE4Tixfo |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Exchange-Repairs&rft.jtitle=Journal+on+data+semantics&rft.au=ten+Cate%2C+Balder&rft.au=Halpert%2C+Richard+L.&rft.au=Kolaitis%2C+Phokion+G.&rft.date=2016-06-01&rft.pub=Springer+Berlin+Heidelberg&rft.issn=1861-2032&rft.eissn=1861-2040&rft.volume=5&rft.issue=2&rft.spage=77&rft.epage=97&rft_id=info:doi/10.1007%2Fs13740-016-0057-4&rft.externalDocID=10_1007_s13740_016_0057_4 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1861-2032&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1861-2032&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1861-2032&client=summon |