Advertisement

Consistent Answers from Integrated Data Sources

  • Leopoldo Bertossi
  • Jan Chomicki
  • Alvaro Cortés
  • Claudio Gutiérrez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2522)

Abstract

When data sources are integrated into a single global system, inconsistencies wrt global integrity constraints are likely to occur. In this paper, the notion of consistent answer to a global query in the context of the local-as-view approach to data integration is characterized. Furthermore, a methodology for generating query plans for retrieving consistent answers to global queries is introduced. For this purpose, an extension of the inverse-rules algorithm for derivingquery plans for answeringfirstorder queries is presented.

Keywords

Global System Integrity Constraint Query Plan Database Instance Consistent Answer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S.; Hull, R. and Vianu, V. Foundations of Databases. Addison-Wesley, 1995.Google Scholar
  2. 2.
    Abiteboul, A. and Duschka, O. Complexity of AnsweringQueries UsingMaterialized Views. In Proc. 9th Annual ACM Symp. on the Theory of Computing, ACM Press, 1998, pp. 254–263.Google Scholar
  3. 3.
    Arenas, M.; Bertossi, L. and Chomicki, J. Consistent Query Answers in Inconsistent Databases. In Proc. ACM Symposium on Principles of Database Systems (ACM PODS’99), ACM Press, 1999, pp. 68–79.Google Scholar
  4. 4.
    Arenas, M.; Bertossi, L. and Chomicki, J. Specifyingand QueryingDatabase Repairs Using Logic Programs with Exceptions. In Flexible Query Answering Systems. Recent Developments. H. Larsen, J. Kacprzyk, S. Zadrozny, H. Christiansen (eds.), Springer, 2000, pp. 27–41.Google Scholar
  5. 5.
    Bertossi, L.; Chomicki, J.; Cortes, A. and Gutierrez, C. Consistent Answers from Integrated Data Sources. Extended version. May 2002. http://www.scs.carleton.ca/∼bertossi/papers/paperleo14.ps
  6. 6.
    Barcelo, P. and Bertossi, L. Repairing Databases with Annotated Predicate Logic. In Proc. Ninth International Workshop on Non-Monotonic Reasoning (NMR’2002). Special session on Changing and Integrating Information: From Theory to Practice. S. Benferhat and E. Giunchiglia (eds.), Morgan Kaufmann Publishers, 2002, pp. 160–170.Google Scholar
  7. 7.
    Cali, A.; Calvanese, D.; De Giacomo, G. and Lenzerini, M. Data integration Under Integrity Constraints. In Proc. of the 14th Conf. on Advanced Information Systems Engineering (CAiSE 2002), Springer LNCS 2348, 2002, pp. 262–279.Google Scholar
  8. 8.
    Duschka, O.; Genesereth, M. and Levy, A. Recursive Query Plans for Data Integration. Journal of Logic Programming, 2000, 43(1):49–73.zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Grahne, G. and Mendelzon, A. Tableau Techniques for QueryingInformation Sources through Global Schemas. In Proc. of the Int. Conf. on Database Theory (ICDT’99), Springer LNCS 1540, 1999, pp. 332–347.Google Scholar
  10. 10.
    Grant, J. and Minker, M. A Logic-based Approach to Data Integration. Theory and Practice of Logic Programming, 2002, 2(3):323–368.zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Greco, G.; Greco, S. and Zumpano, E. A Logic Programming Approach to the Integration, Repairingand Queryingof Inconsistent Databases. In Proc. 17th International Conference on Logic Programming (ICLP’01), Ph. Codognet (ed.), Springer LNCS 2237, 2001, pp. 348–364.Google Scholar
  12. 12.
    Gryz, J. Query RewritingUsingViews in the Presence of Functional and Inclusion Dependencies. Information Systems, 1999, 24(7):597–612.zbMATHCrossRefGoogle Scholar
  13. 13.
    Halevy, A. Answering Queries usingViews: A Survey. VLDB Journal, 2001, 10(4):270–294.zbMATHCrossRefGoogle Scholar
  14. 14.
    Lembo, D.; Lenzerini, M. and Rosati, R. Source Inconsistency and Incompleteness in Data Integration. In Proc. of the 9th International Workshop Knowledge Representation meets Databases (KRDB’02), 2002. http://www.CEUR-WS.org/Vol-54/
  15. 15.
    Levy, A.; Rajaraman, A. and Ordille, J. QueryingHeterog eneous Information Sources usingSource Descriptions. In Proceedings of the 22nd International Conference on Very Large Databases (VLDB’96), Morgan Kaufmann Publishing Co., 1996, pp. 251–262.Google Scholar
  16. 16.
    Lloyd, J. Foundations of Logic Programming. Springer, 1987.Google Scholar
  17. 17.
    Millstein, T.; Levy, A. and Friedman, M. Query Containment for Data Integration Systems. In Proc. of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’00), ACM Press, 2000, pp. 67–75.Google Scholar
  18. 18.
    Pottinger, R. and Levy, A. A Scalable Algorithm for Answering Queries UsingViews. In Proceedings of the 26th International Conference on Very Large Databases (VLDB’00), Morgan Kaufmann Publishing Co., 2000, pp. 484–495.Google Scholar
  19. 19.
    Ramakrishnan, R.; Sagiv, Y.; Ullman, J. D. and Vardi, M. Y. Proof-tree Transformation Theorems and their Applications. In Proceedings ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems, (PODS’89), ACM Press, 1989, pp. 172–181.Google Scholar
  20. 20.
    Ullman, J. Information Integration using Logical Views. In Proc. of the Int. Conf. on Database Theory (ICDT’97), Springer LNCS 1186, 1997, pp. 19–40.Google Scholar
  21. 21.
    Ullman, J. D. Information Integration Using Logical Views. Theoretical Computer Science, 2000, 239(2):189–210.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Leopoldo Bertossi
    • 1
  • Jan Chomicki
    • 2
  • Alvaro Cortés
    • 3
  • Claudio Gutiérrez
    • 4
  1. 1.School of Computer ScienceCarleton UniversityOttawaCanada
  2. 2.Dept. of Computer Science and EngineeringOttawaCanada
  3. 3.Departamento de Ciencia de ComputaciónPontificia Universidad Catolica de ChileSantiagoChile
  4. 4.Departamento de Ciencias de la ComputaciónUniversidad de Chile, Center for Web ResearchSantiagoChile

Personalised recommendations