Skip to main content
SpringerLink
Log in
Book cover

Inconsistency Tolerance pp 42–83Cite as

Consistent Query Answers in Virtual Data Integration Systems

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3300))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining Knowledge Bases Consisting of First-Order Theories. Computational Intelligence 8, 45–71 (1992)

    Article  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Batini, C., Lenzerini, M., Navathe, S.B.: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys 18(4), 323–364 (1986)

    Article  Google Scholar 

  9. Bergamaschi, S., Castano, S., Vincini, M., Beneventano, D.: Semantic Integration of Heterogeneous Information Sources. Data and Knowledge Engineering 36(3), 215–249 (2001)

    Article  MATH  Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Google Scholar 

  12. 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

    Chapter  Google Scholar 

  13. Bertossi, L., Bravo, L.: In preparation

    Google Scholar 

  14. Bonatti, P.: Reasoning with Infinite Stable Models. Artificial Intelligence 156(1), 75–111 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  15. 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)

    Google Scholar 

  16. 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])

    Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. 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)

    MATH  Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. Chomicki, J., Marcinkowski, J.: Minimal-Change Integrity Maintenance Using Tuple Deletions. To appear in Information and Computation, arXiv.org paper cs.DB/0212004

    Google Scholar 

  27. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity And Expressive Power of Logic Programming. ACM Computer Surveys 33(3), 374–425 (2001)

    Article  Google Scholar 

  28. Doan, A., Domingos, P., Halevy, A.: Learning to Match the Schemas of Data Sources: A Multistrategy Approach. Machine Learning 50(3), 279–301 (2003)

    Article  MATH  Google Scholar 

  29. Duschka, O.: Query Planning and Optimization in Information Integration. PhD Thesis, Stanford University (December 1997)

    Google Scholar 

  30. Duschka, O., Genesereth, M., Levy, A.: Recursive Query Plans for Data Integration. Journal of Logic Programming 43(1), 49–73 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  31. 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)

    Chapter  Google Scholar 

  32. 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)

    Chapter  Google Scholar 

  33. 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)

    Chapter  Google Scholar 

  34. 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)

    Google Scholar 

  35. Flesca, S., Greco, S.: Rewriting Queries Using Views. Transactions on Knowledge and Data Engineering 13(6), 980–995 (2001)

    Article  Google Scholar 

  36. 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)

    Chapter  Google Scholar 

  37. 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)

    Google Scholar 

  38. 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)

    Google Scholar 

  39. 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)

    Chapter  Google Scholar 

  40. 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)

    Google Scholar 

  41. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  42. Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation - The A-Prolog Perspective. Artificial Intelligence 138(1-2), 3–38 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  43. 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)

    Chapter  Google Scholar 

  44. Grahne, G.: Information Integration and Incomplete Information. IEEE Computer Society Bulletin on Data Engineering, 46–52 (September 2002)

    Google Scholar 

  45. Grant, J., Minker, M.: A Logic-based Approach to Data Integration. Theory and Practice of Logic Programming 2(3), 323–368 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  46. Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Transactions on Knowledge and Data Engineering 15(2), 368–385 (2003)

    Article  Google Scholar 

  47. 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)

    Article  Google Scholar 

  48. Gryz, J.: Query Rewriting Using Views in the Presence of Functional and Inclusion Dependencies. Information Systems 24(7), 597–612 (1999)

    Article  MATH  Google Scholar 

  49. Gupta, A., Singh Mumick, I. (eds.): Materialized Views: Techniques, Implementations, and Applications. MIT Press, Cambridge (1999)

    Google Scholar 

  50. Halevy, A.Y.: Theory of Answering Queries Using Views. SIGMOD Record 29(4), 40–47 (2000)

    Article  Google Scholar 

  51. Halevy, A.Y.: Answering Queries Using Views: A Survey. VLDB Journal 10(4), 270–294 (2001)

    Article  MATH  Google Scholar 

  52. 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)

    Google Scholar 

  53. 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)

    Google Scholar 

  54. 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)

    Google Scholar 

  55. 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)

    Chapter  Google Scholar 

  56. Kolaitis, P., Vardi, M.: Conjunctive-Query Containment and Constraint Satisfaction. J. Computer and Systems Sciences 61(2), 302–332 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  57. 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)

    Google Scholar 

  58. 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)

    Google Scholar 

  59. 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

    Google Scholar 

  60. 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)

    Google Scholar 

  61. 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)

    Google Scholar 

  62. Levy, A.: Logic-Based Techniques in Data Integration. In: Minker, J. (ed.) Logic Based Artificial Intelligence. Kluwer Publishers, Dordrecht (2000)

    Google Scholar 

  63. Lin, J., Mendelzon, A.: Merging Databases under Constraints. International Journal of Cooperative Information Systems 7(1), 55–76 (1996)

    Article  Google Scholar 

  64. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)

    Book  MATH  Google Scholar 

  65. 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)

    Google Scholar 

  66. 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)

    Chapter  Google Scholar 

  67. Millstein, T., Halevy, A., Friedman, M.: Query Containment for Data Integration Systems. Journal of Computer and Systems Sciences 66(1), 20–39 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  68. Motro, A.: Superviews: Virtual Integration of Multiple Databases. IEEE Transactions on Software Engineering 13(7), 785–798 (1987)

    Article  Google Scholar 

  69. 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)

    Chapter  Google Scholar 

  70. Pottinger, R., Bernstein, P.: Creating a Mediated Schema Based on Initial Correspondences. IEEE Data Engineering Bulletin 25(3), 26–31 (2002)

    Google Scholar 

  71. Rahm, E., Bernstein, P.A.: A Survey of Approaches to Automatic Schema Matching. VLDB Journal 10, 334–350 (2001)

    Article  MATH  Google Scholar 

  72. Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville (1988)

    Google Scholar 

  73. Ullman, J.D.: Information Integration Using Logical Views. Theoretical Computer Science 239(2), 189–210 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  74. 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)

    Google Scholar 

  75. Wiederhold, G., Genesereth, M.: The Conceptual Basis for Mediation Services. IEEE Expert 12(5), 38–47 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Carleton University, Ottawa, Canada

    Leopoldo Bertossi & Loreto Bravo

Authors
  1. Leopoldo Bertossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Loreto Bravo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, Carleton University, Ottawa, Canada

    Leopoldo Bertossi

  2. Department of Computer Science, University College London, Gower Street, WC1E 6BT, London, UK

    Anthony Hunter

  3. Institut für Informatik, Universität Potsdam, August-Bebel-Str. 89, D-14482, Potsdam, Germany

    Torsten Schaub

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation