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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
Abiteboul, A., Duschka, O.: Complexity of Answering Queries Using Materialized Views. In: Proc. ACM Symposium on Principles of Database Systems (PODS 1998), pp. 254–263 (1998)
Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: Proc. 18th ACM Symposium on Principles of Database Systems (PODS 1999), pp. 68–79 (1999)
Arenas, M., Bertossi, L., Chomicki, L.: Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming 3(4-5), 393–424 (2003)
Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining Knowledge Bases Consisting of First-Order Theories. Computational Intelligence 8, 45–71 (1992)
Barcelo, P., Bertossi, L.: Logic Programs for Querying Inconsistent Databases. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 208–222. Springer, Heidelberg (2002)
Barcelo, P., Bertossi, L., Bravo, L.: Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases 2001. LNCS, vol. 2582, pp. 7–33. Springer, Heidelberg (2003)
Batini, C., Lenzerini, M., Navathe, S.B.: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys 18(4), 323–364 (1986)
Bergamaschi, S., Castano, S., Vincini, M., Beneventano, D.: Semantic Integration of Heterogeneous Information Sources. Data and Knowledge Engineering 36(3), 215–249 (2001)
Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C.: Consistent Answers from Integrated Data Sources. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 71–85. Springer, Heidelberg (2002)
Bertossi, L., Chomicki, J.: Query Answering in Inconsistent Databases. In: Chomicki, J., Saake, G., van der Meyden, R. (eds.) Logics for Emerging Applications of Databases. Springer, Heidelberg (2003)
Bertossi, L., Bravo, L.: Query Answering in Peer-to-Peer Data Exchange Systems. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) EDBT 2004. LNCS, vol. 3268, pp. 476–485. Springer, Heidelberg (2004) arXiv.org paper cs.DB/0401015
Bertossi, L., Bravo, L.: In preparation
Bonatti, P.: Reasoning with Infinite Stable Models. Artificial Intelligence 156(1), 75–111 (2004)
Bravo, L., Bertossi, L.: Logic Programs for Consistently Querying Data Integration Systems. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 10–15. Morgan Kaufmann, San Francisco (2003)
Bravo, L., Bertossi, L.: Disjunctive Deductive Databases for Computing Certain and Consistent Answers to Queries from Mediated Data Integration Systems. To appear in Journal of Applied Logic (extended version of [15])
Cali, 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. 2348, pp. 262–279. Springer, Heidelberg (2002)
Cali, 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. 2503, pp. 338–350. Springer, Heidelberg (2002)
Cali, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the Role of Integrity Constraints in Data Integration. IEEE Data Engineering Bulletin 25(3), 39–45 (2002)
Cali, A., Lembo, D., Rosati, R.: On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In: Proc. of the ACM Symposium on Principles of Database Systems (PODS 2003), pp. 260–271. ACM Press, New York (2003)
Cali, A., Lembo, D., Rosati, R.: Query Rewriting and Answering under Constraints in Data Integration Systems. In: Proc. of the International Joint Conference on Artificial Intellience (IJCAI 2003), pp. 16–21. Morgan Kaufmann, San Francisco (2003)
Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: What is Query Rewriting? In: Proc. of the International Workshop on Knowledge Representation meets Databases (KRDB 2000), CEUR Electronic Workshop Proceedings, pp. 17–27 (2000)
Calvanese, D., De Giacomo, G., Lenzerini, M., Vardi, M.Y.: View-based Query Containment. In: Proc. of the ACM Symposium on Principles of Database Systems (PODS 2003), pp. 56–67. ACM Press, New York (2003)
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical Foundations of Peer-To-Peer Data Integration. In: Proc. of the ACM Symposium on Principles of Database Systems (PODS 2004), pp. 241–251. ACM Press, New York (2004)
Celle, A., Bertossi, L.: Querying Inconsistent Databases: Algorithms and Implementation. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 942–956. Springer, Heidelberg (2000)
Chomicki, J., Marcinkowski, J.: Minimal-Change Integrity Maintenance Using Tuple Deletions. To appear in Information and Computation, arXiv.org paper cs.DB/0212004
Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity And Expressive Power of Logic Programming. ACM Computer Surveys 33(3), 374–425 (2001)
Doan, A., Domingos, P., Halevy, A.: Learning to Match the Schemas of Data Sources: A Multistrategy Approach. Machine Learning 50(3), 279–301 (2003)
Duschka, O.: Query Planning and Optimization in Information Integration. PhD Thesis, Stanford University (December 1997)
Duschka, O., Genesereth, M., Levy, A.: Recursive Query Plans for Data Integration. Journal of Logic Programming 43(1), 49–73 (2000)
Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving in DLV. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79–103. Kluwer, Dordrecht (2000)
Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 163–177. Springer, Heidelberg (2003)
Fagin, R., Kolaitis, P., Miller, R., Popa, L.: Data Exchange: Semantics and Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207–224. Springer, Heidelberg (2002)
Fagin, R., Kolaitis, P., Popa, L.: Data Exchange: Getting to the Core. In: Proc. of the ACM Symposium on Principles of Database Systems (PODS 2003), pp. 90–101. ACM Press, New York (2003)
Flesca, S., Greco, S.: Rewriting Queries Using Views. Transactions on Knowledge and Data Engineering 13(6), 980–995 (2001)
Franconi, E., Kuper, G., Lopatenko, L., Serafini, L.: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds.) VLDB 2003. LNCS, vol. 2944, pp. 64–76. Springer, Heidelberg (2004)
Friedman, M., Levy, A., Millstein, T.: Navigational Plans for Data Integration. In: Proc. National Conference on Artificial Intelligence (AAAI 1999), pp. 67–73. AAAI Press, Menlo Park (1999)
Fuxman, A., Miller, R.J.: Towards Inconsistency Management in Data Integration Systems. In: Proceedings of the IJCAI 2003 Workshop on Information Integration on the Web (2003)
Giannotti, F., Pedreschi, D., Sacca, D., Zaniolo, C.: Non-Determinism in Deductive Databases. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol. 566, pp. 129–146. Springer, Heidelberg (1991)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic Programming, Proceedings of the Fifth International Conference and Symposium (ICLP/SLP 1988), pp. 1070–1080. MIT Press, Cambridge (1988)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation - The A-Prolog Perspective. Artificial Intelligence 138(1-2), 3–38 (2002)
Grahne, G., Mendelzon, A.: Tableau Techniques for Querying Information Sources through Global Schemas. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol. 1540, pp. 332–347. Springer, Heidelberg (1998)
Grahne, G.: Information Integration and Incomplete Information. IEEE Computer Society Bulletin on Data Engineering, 46–52 (September 2002)
Grant, J., Minker, M.: A Logic-based Approach to Data Integration. Theory and Practice of Logic Programming 2(3), 323–368 (2002)
Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Transactions on Knowledge and Data Engineering 15(2), 368–385 (2003)
Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering 15(6), 1389–1408 (2003)
Gryz, J.: Query Rewriting Using Views in the Presence of Functional and Inclusion Dependencies. Information Systems 24(7), 597–612 (1999)
Gupta, A., Singh Mumick, I. (eds.): Materialized Views: Techniques, Implementations, and Applications. MIT Press, Cambridge (1999)
Halevy, A.Y.: Theory of Answering Queries Using Views. SIGMOD Record 29(4), 40–47 (2000)
Halevy, A.Y.: Answering Queries Using Views: A Survey. VLDB Journal 10(4), 270–294 (2001)
Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema Mediation in Peer Data Management Systems. In: Proc. of the International Conference on Data Engineering (ICDE 2003), pp. 505–518. IEEE Computer Society, Los Alamitos (2003)
Halevy, A.Y.: Corpus-Based Knowledge Representation. In: Proc. International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1567–1572. Morgan Kaufmann, San Francisco (2003)
Hull, R.: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. In: Proc. of the ACM Symposium on Principles of Database Systems (PODS 1997), pp. 51–61. ACM Press, New York (1997)
Kementsietsidis, A., Arenas, M., Miller, R.J.: Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. In: Proc. of the ACM International Conference on Management of Data (SIGMOD 2003), pp. 325–336. ACM Press, New York (2003)
Kolaitis, P., Vardi, M.: Conjunctive-Query Containment and Constraint Satisfaction. J. Computer and Systems Sciences 61(2), 302–332 (2000)
Lembo, D., Lenzerini, M., Rosati, R.: Source Inconsistency and Incompleteness in Data Integration. In: Proc. International Workshop Knowledge Representation meets Databases (KRDB 2002), CEUR Electronic Workshop Proceedings (2002)
Lenzerini, M.: Data Integration: A Theoretical Perspective. In: Proc. ACM Symposium on Principles of Database Systems (PODS 2002), pp. 233–246. ACM Press, New York (2002)
Leone, N., et al.: The DLV System for Konwledge Representation and Reasoning. To appear in ACM Transactions on Computational Logic, arXiv.org paper cs.LO/0211004
Levy, A.Y., Mendelzon, A., Sagiv, Y., Srivastava, D.: Answering Queries Using Views. In: Proceedings of the ACM Symposium on Principles of Database Systems (PODS 1995), pp. 95–104. ACM Press, New York (1995)
Levy, A., Rajaraman, A., Ordille, J.: Querying Heterogeneous Information Sources using Source Descriptions. In: Proc. International Conference on Very Large Databases (VLDB 1996), pp. 251–262. Morgan Kaufmann, San Francisco (1996)
Levy, A.: Logic-Based Techniques in Data Integration. In: Minker, J. (ed.) Logic Based Artificial Intelligence. Kluwer Publishers, Dordrecht (2000)
Lin, J., Mendelzon, A.: Merging Databases under Constraints. International Journal of Cooperative Information Systems 7(1), 55–76 (1996)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
McBrien, P., Poulovassilis, A.: Data Integration by Bi-Directional Schema Transformation Rules. In: Proc. International Conference on Data Engineering (ICDE 2003), pp. 227–238. IEEE Computer Society, Los Alamitos (2003)
van de Meyden, R.: Logical Approaches to Incomplete Information: A Survey. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 307–356. Kluwer, Dordrecht (1998)
Millstein, T., Halevy, A., Friedman, M.: Query Containment for Data Integration Systems. Journal of Computer and Systems Sciences 66(1), 20–39 (2003)
Motro, A.: Superviews: Virtual Integration of Multiple Databases. IEEE Transactions on Software Engineering 13(7), 785–798 (1987)
Motro, A.: Multiplex: A Formal Model for Multidatabases and Its Implementation. In: Tsur, S. (ed.) NGITS 1999. LNCS, vol. 1649, pp. 138–158. Springer, Heidelberg (1999)
Pottinger, R., Bernstein, P.: Creating a Mediated Schema Based on Initial Correspondences. IEEE Data Engineering Bulletin 25(3), 26–31 (2002)
Rahm, E., Bernstein, P.A.: A Survey of Approaches to Automatic Schema Matching. VLDB Journal 10, 334–350 (2001)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville (1988)
Ullman, J.D.: Information Integration Using Logical Views. Theoretical Computer Science 239(2), 189–210 (2000)
Wei, F., Lausen, G.: Containment of Conjunctive Queries with Safe Negation. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 343–357. Springer, Heidelberg (2002)
Wiederhold, G., Genesereth, M.: The Conceptual Basis for Mediation Services. IEEE Expert 12(5), 38–47 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bertossi, L., Bravo, L. (2005). Consistent Query Answers in Virtual Data Integration Systems. In: Bertossi, L., Hunter, A., Schaub, T. (eds) Inconsistency Tolerance. Lecture Notes in Computer Science, vol 3300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30597-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-30597-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24260-4
Online ISBN: 978-3-540-30597-2
eBook Packages: Computer ScienceComputer Science (R0)