Abstract
For several reasons databases may become inconsistent with respect to a given set of integrity constraints (ICs): (a) The DBMS have no mechanism to maintain certain classes of ICs. (b) New constraints are imposed on preexisting, legacy data. (c) The ICs are soft, user, or informational constraints that are considered at query time, but without being necessarily enforced. (d) Data from different and autonomous sources are being integrated, in particular in mediator-based approaches.
- Arenas, M., Bertossi, L. and Chomicki, J. Consistent Query Answers in Inconsistent Databases. Proc. ACM Symposium on Principles of Database Systems (PODS), ACM Press, 1999, pp. 68--79.]] Google ScholarDigital Library
- Arenas, M., Bertossi, L. and Chomicki, J. Scalar Aggregation in FD-Inconsistent Databases. Proc. International Conference on Database Theory (ICDT 01), Springer LNCS 1973, 2001, pp. 39--53.]] Google ScholarDigital Library
- Arenas, M., Bertossi, L., Chomicki, J., He, X., Raghavan, V. and Spinrad, J. Scalar Aggregation in Inconsistent Databases. Theoretical Computer Science, 2003, 296(3):405--434.]] Google ScholarDigital Library
- Arenas, M., Bertossi, L. and Chomicki, J. Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming, 3(4-5):393--424, 2003.]] Google ScholarDigital Library
- Barcelo, P. and Bertossi, L. Logic Programs for Querying Inconsistent Databases. Proc. Practical Aspects of Declarative Languages (PADL 03), Springer LNCS 2562, 2003, pp. 208--222.]] Google ScholarDigital Library
- Barcelo, P., Bertossi, L. and Bravo, L. Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. In Semantics of Databases, Springer LNCS 2582, 2003, pp. 1--27.]]Google ScholarDigital Library
- Bertossi, L., Chomicki, J., Cortes, A. and Gutierrez, C. Consistent Answers from Integrated Data Sources. Proc. Flexible Query Answering Systems (FQAS 02), Springer LNCS 2522, 2002, pp. 71--85.]] Google ScholarDigital Library
- Bertossi, L. and Bravo, L. Consistent Query Answers in Virtual Data Integration Systems. In Inconsistency Tolerance, Springer LNCS 3300, 2004, pp. 42--83.]]Google Scholar
- Bertossi, L. and Bravo, L. Query Answering in Peer-to-Peer Data Exchange Systems. Proc. EDBT International Workshop on Peer-to-Peer Computing & DataBases (P2P&DB 04), Springer LNCS 3268, 2004, pp. 478--485.]]Google ScholarDigital Library
- Bertossi, L., Bravo, L., Franconi, E. and Lopatenko, A. Fixing Numerical Attributes under Integrity Constraints. Proc. International Symposium on Database Programming Languages (DBPL 05), Springer LNCS 3774, 2005, pp. 262--278.]] Google ScholarDigital Library
- Bertossi, L., Chomicki, J., Godfrey, P., Kolaitis, Ph., Thomo, A. and Zuzarte, C. Exchange, Integration, and Consistency of Data: Report on the ARISE/NISR Workshop. SIGMOD Record, 2005, 34(3):87--90.]] Google ScholarDigital Library
- Bertossi, L. and Chomicki, J. Query Answering in Inconsistent Databases. In Logics for Emerging Applications of Databases. Springer, 2003, pp. 43--83.]]Google ScholarDigital Library
- Bravo, L. and Bertossi, L. Logic Programs for Consistently Querying Data Integration Systems. Proc. International Joint Conference in Artificial Intelligence (IJ-CAI 03), Morgan Kauffmann Publishers, 2003, pp. 10--15.]]Google Scholar
- Bravo, L. and Bertossi, L. Disjunctive Deductive Databases for Computing Certain and Consistent Answers to Queries from Mediated Data Integration Systems. Journal of Applied Logic, 2005, 3(2):329--367.]]Google ScholarCross Ref
- Bravo, L. and Bertossi, L. Semantically Correct Query Answers in the Presence of Null Values. Proc. EDBT International Workshop on Inconsistency and Incompleteness in Databases (IIDB 06). To appear in Springer LNCS. Technical Report arXiv:cs.DB/0604076 v1. Posted April 19, 2006.]] Google ScholarDigital Library
- Cali, A., Calvanese, D., De Giacomo, G. and Lenzerini, M. Data Integration Under Integrity Constraints. In Proc. Conference on Advanced Information Systems Engineering (CAISE 02), Springer LNCS 2348, 2002, pp. 262--279.]] Google ScholarDigital Library
- Cali, A., Calvanese, D., De Giacomo, G. and Lenzerini, M. On the Role of Integrity Constraints in Data Integration. IEEE Data Engineering Bulletin, 2002, 25(3): 39--45.]]Google Scholar
- Cali, A., Lembo, D. and Rosati, R. On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. Proc. ACM Symposium on Principles of Database Systems (PODS), ACM Press, 2003, pp. 260--271.]] Google ScholarDigital Library
- Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M. and Rosati, R. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. Proc. International Symposium on Database Programming Languages (DBPL 05), Springer LNCS 3774, 2005, pp. 90--105.]] Google ScholarDigital Library
- Caniupan, M. and Bertossi, L. Optimizing Repair Programs for Consistent Query Answering. Proc. International Conference of the Chilean Computer Science Society (SCCC 05), IEEE Computer Society Press, 2005, pp. 3--12.]] Google ScholarDigital Library
- Celle, A. and Bertossi, L. Querying Inconsistent Databases: Algorithms and Implementation. In Computational Logic - CL 2000, Springer LNCS 1861, 2000, pp. 942--956.]] Google ScholarDigital Library
- Chomicki, J., Marcinkowski, J. and Staworko, S. Computing Consistent Query Answers using Conflict Hypergraphs. Proc. Conference on Information and Knowledge Management (CIKM 04), ACM Press, 2004, pp. 417--426.]] Google ScholarDigital Library
- Chomicki, J. and Marcinkowski, J. Minimal-Change Integrity Maintenance Using Tuple Deletions. Information and Computation, 197(1-2):90--121, 2005.]]Google ScholarDigital Library
- Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys, 2001, 33(3): 374--425.]] Google ScholarDigital Library
- Downey, R. G. and Fellows, M. R. Parameterized Complexity. Springer, Monographs in Computer Science, 1999.]]Google Scholar
- Duschka, O., Genesereth, M. and Levy, A. Recursive Query Plans for Data Integration. Journal of Logic Programming, 2000, 43(1):49--73.]]Google ScholarCross Ref
- Eiter, T., Fink, M., Greco, G. and Lembo, D. Efficient Evaluation of Logic Programs for Querying Data Integration Systems. Proc. International Conference on Logic Programming (ICLP 03), Springer LNCS 2916, 2003, pp. 163--177. 2916, 2003.]]Google ScholarCross Ref
- Fagin, R., Kolaitis, Ph. G., Miller, R. J., and Popa, L. Data Exchange: Semantics and Query Answering. Proc. International Conference on Database Theory (ICDT). 207--224, 2003.]] Google ScholarDigital Library
- Flesca, S., Furfaro, F. Parisi, F. Consistent Query Answers on Numerical Databases under Aggregate Constraints. Proc. International Symposium on Database Programming Languages (DBPL 05), Springer LNCS 3774, 2005, pp. 279--294.]] Google ScholarDigital Library
- Flum, J. and Grohe, M. Parameterized Complexity Theory. Springer, Texts in Theoretical Computer Science, 2006.]] Google ScholarDigital Library
- Franconi, E., Laureti Palma, A., Leone, N., Perri, S. and Scarcello, F. Census Data Repair: a Challenging Application of Disjunctive Logic Programming. Proc. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 01). Springer LNCS 2250, 2001, pp. 561--578.]] Google ScholarDigital Library
- Fuxman, A. and Miller, R. First-Order Query Rewriting for Inconsistent Databases. Proc. International Conference on Database Theory (ICDT 05), Springer LNCS 3363, 2004, pp. 337--351.]]Google ScholarDigital Library
- Fuxman, A., Fazli, E. and Miller, R. J. ConQuer: Efficient Management of Inconsistent Databases. Proc. ACM International Conference on Management of Data (SIGMOD 05), ACM Press, 2005, pp. 155--166.]] Google ScholarDigital Library
- Gelfond, M. and Lifschitz, V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 1991, 9:365--385.]]Google ScholarDigital Library
- Greco, G., Greco, S. and Zumpano, E. A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering, 15(6):1389--1408, 2003.]] Google ScholarDigital Library
- Giannotti, F., Greco, S., Sacca, D. and Zaniolo, C. Programming with Non-determinism in Deductive Databases. Annals of Mathematics and Artificial Intelligence, 1997, 19(1--2):97--125.]] Google ScholarDigital Library
- Grieco, L., Lembo, D., Rosati, R. and Ruzzi, M. Consistent Query Answering under Key and Exclusion Dependencies: Algorithms and Experiments. Proc. ACM International conference on Information and Knowledge Management (CIKM 05), ACM Press, 2005, pp. 792--799.]] Google ScholarDigital Library
- Grohe, M. Parameterized Complexity for the Data-base Theorist. SIGMOD Record, 2002, 31(4):86--96.]] Google ScholarDigital Library
- Halevy, A., Ives, Z., Suciu, D. and Tatarinov, I. Schema Mediation in Peer Data Management Systems. Proc. Intenational Conference on Data Engineering (ICDE 03), IEEE Computer Society Press, 2003, pp. 505--518.]]Google ScholarCross Ref
- Immerman, N. Descriptive Complexity. Graduate Texts in Computer Science. Springer, 1999.]]Google Scholar
- Kolaitis, Ph. Schema Mappings, Data Exchange, and Metadata Management. Proc. ACM Symposium on Principles of Database Systems (PODS 05), ACM Press, 2005, pp. 61--75.]] Google ScholarDigital Library
- Lembo, D., Lenzerini, M. and Rosati, R. Source Inconsistency and Incompleteness in Data Integration. In Proc. International Workshop Knowledge Representation meets Databases (KRDB 02), CEUR Electronic Workshop Proceedings, 2002.]]Google Scholar
- Lenzerini, M. Data Integration: A Theoretical Perspective. Proc. ACM Symposium on Principles of Database Systems (PODS 02), ACM Press, 2002, pp. 233--246]] Google ScholarDigital Library
- Lopatenko, A. and Bertossi, L. Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics. Technical Report arXiv:cs.DB/0604002 v1. Posted April 2, 2006.]]Google ScholarDigital Library
- Miltersen, P. B., Subramanian, S., Vitter, J. S. and Tamassia, R. Complexity Models for Incremental Computation. Theoretical Computer Science, 1994, 130(1):203--236.]] Google ScholarDigital Library
- Niedermeier, R. and Rossmanith, P. An Efficient Fixed-Parameter Algorithm for 3-Hitting Set. Journal of Discrete Algorithms, 2003, 1(1):89--102.]] Google ScholarDigital Library
- Weber, V. and Schwentick, T. Dynamic Complexity Theory Revisited. Proc. Annual Symposium on Theoretical Aspects of Computer Science (STACS 05), Springer LNCS 3404, 2005, pp. 256--268.]] Google ScholarDigital Library
- Wijsen, J. Condensed Representation of Database Repairs for Consistent Query Answering. Proc. International Conference on Database Theory (ICDT), pages 378--393. Springer-Verlag, LNCS 2572, 2003.]] Google ScholarDigital Library
Index Terms
- Consistent query answering in databases
Recommendations
Answer sets for consistent query answering in inconsistent databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on answer sets ...
Consistent query answering over inconsistent databases
This paper addresses the problem of managing inconsistent databases, that is, databases violating integrity constraints. Most of the works dealing with the problem of extracting reliable information from inconsistent databases are based on the notion of ...
Consistent query answering under inclusion dependencies
CASCON '04: Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative researchFor several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, most likely most of the information in it is still consistent with the ICs; ...
Comments