Abstract. When data sources are virtually integrated there is no common and centralized mechanism for maintaining global consistency. In consequence, it is likely that inconsistencies with respect to certain global integrity constraints (ICs)will occur. In this chapter we consider the problem of defining and computing those answers that are consistent wrt the global ICs when global queries are posed to virtual data integration systems whose sources are specified following the local-as-view approach. The solution is based on a specification using logic programs with stable model semantics of the minimal legal instances of the integration system. Apart from being useful for computing consistent answers, the specification can be used to compute the certain answers to monotone queries, and minimal answers to non monotone queries. 1
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
1009
|
editors. Foundations of Databases
– Abiteboul, Hull, et al.
- 1995
|
|
936
|
Principles of Database and Knowledge-Base Systems, Volume 1
– Ullman
- 1988
|
|
603
|
Querying heterogenous information sources using source descriptions
– Levy, Rajaraman, et al.
- 1996
|
|
510
|
A survey of approaches to automatic schema matching. Very Large Database
– Rahn, Bernstein
|
|
444
|
A comparative analysis of methodologies for database schema integration
– Batini, Lenzerini, et al.
- 1986
|
|
389
|
Answering queries using views
– Levy, Mendelzon, et al.
- 1995
|
|
350
|
Data integration: A theoretical perspective
– Lenzerini
- 2002
|
|
344
|
Information integration using logical views
– Ullman
|
|
273
|
Answering queries using views: A survey
– Halevy
|
|
218
|
Complexity of answering queries using materialized views
– Abiteboul, Duschka
- 1998
|
|
166
|
Complexity and Expressive Power of Logic Programming
– Dantsin, Eiter, et al.
- 2001
|
|
141
|
Consistent query answers in inconsistent databases
– Arenas, Bertossi, et al.
- 1999
|
|
135
|
Managing semantic heterogeneity in databases: A theoretical perspective
– Hull
- 1997
|
|
111
|
Data Exchange: Semantics and Query Answering
– Fagin, Kolaitis, et al.
- 2003
|
|
107
|
Superviews: Virtual Integration of Multiple Databases, in
– Motro
- 1987
|
|
98
|
Tableau techniques for querying information sources through global schemas
– Grahne, Mendelzon
- 1999
|
|
96
|
Combining knowledge bases consisting of first-order theories
– Baral, Kraus, et al.
|
|
96
|
Schema mediation in peer data management systems
– Halevy, Ives, et al.
- 2003
|
|
90
|
Navigational plans for data integration
– Friedman, Levy, et al.
- 1999
|
|
90
|
The conceptual basis for mediation services
– Wiederhold, Genesereth
- 1997
|
|
88
|
Conjunctive-query containment and constraint satisfaction
– Kolaitis, Vardi
- 2000
|
|
76
|
Semantic integration of heterogeneous information sources
– Bergamaschi, Castano, et al.
|
|
75
|
Recursive Query Plans for Data Integration
– Duschka, Genesereth, et al.
|
|
60
|
Merging databases under constraints
– Lin, Mendelzon
- 1998
|
|
59
|
Query Planning and Optimization in Information Integration
– Duschka
- 1997
|
|
58
|
R.J.: Mapping data in peer-to-peer systems: Semantics and algorithmic issues
– Kementseitsidis, Arenas, et al.
- 2003
|
|
55
|
On the decidability and complexity of query answering over inconsistent and incomplete databases
– Cali, Lembo, et al.
- 2003
|
|
55
|
Data exchange: getting to the core
– Fagin, Kolaitis, et al.
- 2003
|
|
50
|
Logical foundations of peer-to-peer data integration
– Calvanese, Giacomo, et al.
|
|
50
|
Data integration by bi-directional schema transformation rules
– McBrien, Poulovassilis
- 2003
|
|
49
|
Theory of Answering Queries Using Views
– Halevy
- 2000
|
|
47
|
Data integration under integrity constraints
– Calì, Calvanese, et al.
- 2002
|
|
43
|
Query containment for data integration systems
– Millstein, Levy, et al.
- 2000
|
|
42
|
Minimal-Change Integrity Maintenance Using Tuple Deletions
– Chomicki, Marcinkowski
- 2005
|
|
42
|
Learning to match the schemas of data sources: A multistrategy approach
– Doan, Domingos, et al.
- 2003
|
|
39
|
Query rewriting and answering under constraints in data integration systems
– Cali, Lembo, et al.
- 2003
|
|
38
|
Non-Determinism in Deductive Databases
– Giannotti, Pedreschi, et al.
- 1991
|
|
37
|
Source inconsistency and incompleteness in data integration
– Lembo, Lenzerini, et al.
- 2002
|
|
31
|
Consistent Answers from Integrated Data Sources
– Bertossi, Chomicki, et al.
- 2002
|
|
30
|
Querying Inconsistent Databases: Algorithms and Implementation
– Celle, Bertossi
- 1861
|
|
30
|
Multiplex: A formal model for multidatabases and its implementation
– Motro
- 1995
|
|
29
|
Logic programming and knowledge representation – the A-prolog perspective
– Gelfond, Leone
- 2002
|
|
27
|
Logic Programs for Querying Inconsistent Databases
– Barcelo, Bertossi
- 2003
|
|
27
|
Logic Programs for Consistently Querying Data Integration Systems
– Bravo, Bertossi
- 2003
|
|
27
|
A robust logical and computational characterisation of peer-to-peer database systems
– Franconi, Kuper, et al.
- 2003
|
|
26
|
Efficient Evaluation of Logic Programs for Querying Data Integration Systems
– Eiter, Fink, et al.
- 2003
|
|
22
|
Answer Sets for Consistent Query Answering
– Arenas, Bertossi, et al.
- 2003
|
|
22
|
A Logical Framework for Querying and Repairing Inconsistent Databases
– Greco, Greco, et al.
|
