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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abiteboul, S.; Hull, R. and Vianu, V. Foundations of Databases. Addison-Wesley, 1995.
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.
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.
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.
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
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.
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.
Duschka, O.; Genesereth, M. and Levy, A. Recursive Query Plans for Data Integration. Journal of Logic Programming, 2000, 43(1):49–73.
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.
Grant, J. and Minker, M. A Logic-based Approach to Data Integration. Theory and Practice of Logic Programming, 2002, 2(3):323–368.
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.
Gryz, J. Query RewritingUsingViews in the Presence of Functional and Inclusion Dependencies. Information Systems, 1999, 24(7):597–612.
Halevy, A. Answering Queries usingViews: A Survey. VLDB Journal, 2001, 10(4):270–294.
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/
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.
Lloyd, J. Foundations of Logic Programming. Springer, 1987.
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.
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.
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.
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.
Ullman, J. D. Information Integration Using Logical Views. Theoretical Computer Science, 2000, 239(2):189–210.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertossi, L., Chomicki, J., Cortés, A., Gutiérrez, C. (2002). Consistent Answers from Integrated Data Sources. In: Carbonell, J.G., Siekmann, J., Andreasen, T., Christiansen, H., Motro, A., Legind Larsen, H. (eds) Flexible Query Answering Systems. FQAS 2002. Lecture Notes in Computer Science(), vol 2522. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36109-X_6
Download citation
DOI: https://doi.org/10.1007/3-540-36109-X_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00074-7
Online ISBN: 978-3-540-36109-1
eBook Packages: Springer Book Archive