Consistent query answers in virtual data integration systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3300 LNCS, Issue , 2004, Pages 42-83

  Bertossi, Leopoldo ^a   Bravo, Loreto ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATABASE SYSTEMS; SEMANTICS; VIRTUAL REALITY; INTEGRATED CIRCUITS; LOGIC PROGRAMMING; SEARCH ENGINES; SPECIFICATIONS;

DATA SOURCES; GLOBAL QUERIES; INTEGRITY CONSTRAINTS (IC); VIRTUAL DATA INTEGRATION SYSTEMS;

QUERY PROCESSING; DATA INTEGRATION;

CERTAIN ANSWERS; GLOBAL CONSISTENCY; GLOBAL INTEGRITY; INTEGRATION SYSTEMS; LOCAL AS VIEWS; MINIMAL ANSWERS; STABLE MODEL SEMANTICS; VIRTUAL DATA INTEGRATION;

EID: 36849078856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (75)

1. Abiteboul, S.; Hull, R. and Vianu, V. Foundations of Databases. Addison-Wesley, 1995.
2. Abiteboul, A. and Duschka, O. Complexity of Answering Queries Using Materialized Views. In Proc. ACM Symposium on Principles of Database Systems (PODS 98), 1998, pp. 254-263.
3. Arenas, M., Bertossi, L. and Chomicki, J. Consistent Query Answers in Inconsistent Databases. In Proc. 18th ACM Symposium on Principles of Database Systems (PODS 99), 1999, pp. 68-79.
4. Arenas, M., Bertossi, L. and Chomicki, L. Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming, 2003, 3(4-5): 393-424.
5. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V. S. Combining Knowledge Bases Consisting of First-Order Theories. Computational Intelligence, 1992, 8:45-71.
6. Barcelo, P. and Bertossi, L. Logic Programs for Querying Inconsistent Databases. In Proc. International Symposium on Practical Aspects of Declarative Languages (PADL 03), Springer LNCS 2562, 2003, pp. 208-222.
7. Barcelo, P., Bertossi, L. and Bravo, L. Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. Chapter in book Semantics of Databases, Springer LNCS 2582, 2003, pp. 1-27.
8. Batini, C., Lenzerini, M. and Navathe, S.B. A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys, 1986, 18(4): 323-364.
9. Bergamaschi, S., Castano, S., Vincini, M., and Beneventano, D. Semantic Integration of Heterogeneous Information Sources. Data and Knowledge Engineering, 2001, 36(3):215-249.
10. Bertossi, L., Chomicki, J., Cortes, A. and Gutierrez, C. Consistent Answers from Integrated Data Sources. In Flexible Query Answering Systems, Springer LNAI 2522, 2002, pp. 71-85.
11. Bertossi, L. and Chomicki, J. Query Answering in Inconsistent Databases. Chapter in book Logics for Emerging Applications of Databases, J. Chomicki, G. Saake and R. van der Meyden (eds.), Springer, 2003.
12. Bertossi, L. and Bravo, L. Query Answering in Peer-to-Peer Data Exchange Systems. arXiv.org paper cs.DB/0401015. To appear in Proc. International Workshop on Peer-to-Peer Computing & DataBases (P2P&DB 04), Springer LNCS.
13. Bertossi, L. and Bravo, L. In preparation.
14. Bonatti, P. Reasoning with Infinite Stable Models. Artificial Intelligence, 2004, 156(1):75-111.
15. Bravo, L. and Bertossi, L. Logic Programs for Consistently Querying Data Integration Systems. In Proc. International Joint Conference on Artificial Intelligence (IJCAI 03), Morgan Kaufmann, 2003, pp. 10-15.
16. Bravo, L. and 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])
17. 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.
18. Cali, A., Calvanese, D., De Giacomo, G. and Lenzerini, M. On the Expressive Power of Data Integration Systems. In Proc. of the International Conference on Conceptual Modeling (ER 02), Springer LNCS 2503, 2002, pp. 338-350.
19. 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.
20. Cali, A., Lembo, D. and 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 03), ACM Press, 2003, pp. 260-271.
21. Cali, A., Lembo, D. and Rosati, R. Query Rewriting and Answering under Constraints in Data Integration Systems. In Proc. of the International Joint Conference on Artificial Intellience (IJCAI 03), Morgan Kaufmann, 2003, pp. 16-21.
22. Calvanese, D., De Giacomo, G., Lenzerini, M., and Vardi, M. Y. What is Query Rewriting? In Proc. of the International Workshop on Knowledge Representation meets Databases (KRDB 00), CEUR Electronic Workshop Proceedings, 2000, pp. 17-27.
23. Calvanese, D., De Giacomo, G., Lenzerini, M., and Vardi, M. Y. View-based Query Containment. In Proc. of the ACM Symposium on Principles of Database Systems (PODS 03), ACM Press, 2003, pp. 56-67.
24. Calvanese, D., De Giacomo, G., Lenzerini, M. and Rosati, R. Logical Foundations of Peer-To-Peer Data Integration. In Proc. of the ACM Symposium on Principles of Database Systems (PODS 04), ACM Press, 2004, pp. 241-251.
25. Celle, A. and Bertossi, L. Querying Inconsistent Databases: Algorithms and Implementation. In Computational Logic - CL 2000, Stream: International Conference on Rules and Objects in Databases (DOOD 00), Springer LNAI 1861, 2000, pp. 942-956.
26. Chomicki, J. and Marcinkowski, J. Minimal-Change Integrity Maintenance Using Tuple Deletions. arXiv.org paper cs.DB/0212004. To appear in Information and Computation.
27. Dantsin, E., Eiter, T., Gottlob, G. and Voronkov, A. Complexity And Expressive Power Of Logic Programming. ACM Computer Surveys, 2001, 33(3):374-425.
28. Doan, A., Domingos, P. and Halevy, A. Learning to Match the Schemas of Data Sources: A Multistrategy Approach. Machine Learning, 2003, 50(3): 279-301.
29. Duschka, O. Query Planning and Optimization in Information Integration. PhD Thesis, Stanford University, December 1997.
30. Duschka, O., Genesereth, M. and Levy, A. Recursive Query Plans for Data Integration. Journal of Logic Programming, 2000, 43(1):49-73.
31. Eiter, T., Faber, W.; Leone, N. and Pfeifer, G. Declarative Problem-Solving in DLV. Chapter in book Logic-Based Artificial Intelligence, J. Minker (ed.), Kluwer, 2000, pp. 79-103.
32. Eiter, T., Fink, M., Greco, G. and Lembo, D. Efficient Evaluation of Logic Programs for Querying Data Integration Systems. In Proc. International Conference on Logic Programming (ICLP 03), Springer LNCS 2916, 2003, pp. 163-177.
33. Fagin, R., Kolaitis, P., Miller, R. and Popa, L. Data Exchange: Semantics and Query Answering. In Proc. Int. Conf on Database Theory (ICDT 03), Springer LNCS 2572, 2003, pp. 207-224.
34. Fagin, R., Kolaitis, P. and Popa, L. Data Exchange: Getting to the Core. In Proc. of the ACM Symposium on Principles of Database Systems (PODS 03), ACM Press, 2003, pp. 90-101.
35. Flesca, S. and Greco, S. Rewriting Queries Using Views. Transactions on Knowledge and Data Engineering, 2001, 13(6): 980-995.
36. Franconi, E., Kuper, G., Lopatenko, L., Serafini, L. A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In Proc. International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 03), Springer LNCS 2944, 2004, pp. 64-76.
37. Friedman, M., Levy, A. and Millstein, T. Navigational Plans for Data Integration. In Proc. National Conference on Artificial Intelligence (AAAI 99), AAAI Press, 1999, pp. 67-73.
38. Fuxman, A. and Miller, R.J. Towards Inconsistency Management in Data Integration Systems. In Proceedings of the IJCAI-03 Workshop on Information Integration on the Web.
39. Giannotti, F., Pedreschi, D., Sacca, D. and Zaniolo, C. Non-Determinism in Deductive Databases. In Proc. International Conference on Deductive and ObjectOriented Databases (DOOD 91), Springer LNCS 566, 1991, pp. 129-146.
40. Gelfond, M. and Lifschitz, V. The Stable Model Semantics for Logic Programming. In Logic Programming, Proceedings of the Fifth International Conference and Symposium (ICLP/SLP 88), MIT Press, 1988, pp. 1070-1080.
41. Gelfond, M. and Lifschitz, V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 1991, 9:365-385.
42. Gelfond, M. and Leone, N. Logic Programming and Knowledge Representation The A-Prolog Perspective. Artificial Intelligence, 2002, 138(1-2):3-38.
43. Grahne, G. and Mendelzon, A. Tableau Techniques for Querying Information Sources through Global Schemas. In Proc. of the International Conference on Database Theory (ICDT 99), Springer LNCS 1540, 1999, pp. 332-347.
44. Grahne, G. Information Integration and Incomplete Information. IEEE Computer Society Bulletin on Data Engineering, September 2002, pp. 46-52.
45. Grant, J. and Minker, M. A Logic-based Approach to Data Integration. Theory and Practice of Logic Programming, 2002, 2(3):323-368.
46. Greco, S. Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE Transactions on Knowledge and Data Engineering, 2003, 15(2):368-385.
47. Greco, G., Greco, S. and Zumpano, E. A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering, 2003, 15(6):1389-1408.
48. Gryz, J. Query Rewriting Using Views in the Presence of Functional and Inclusion Dependencies. Information Systems, 1999, 24(7):597-612.
49. Gupta, A. and Singh Mumick, I. (eds.) Materialized Views: Techniques, Implementations, and Applications. MIT Press, 1999.
50. Halevy, A.Y. Theory of Answering Queries Using Views. SIGMOD Record, 2000, 29(4) 40-47.
51. Halevy, A.Y. Answering Queries Using Views: A Survey. VLDB Journal, 2001, 10(4): 270-294.
52. Halevy, A., Ives, Z., Suciu, D. and Tatarinov, I. Schema Mediation in Peer Data Management Systems. In Proc. of the International Conference on Data Engineering (ICDE 03), IEEE Computer Society, 2003, pp. 505-518.
53. Halevy, A.Y. Corpus-Based Knowledge Representation. In Proc. International Joint Conference on Artificial Intelligence (IJCAI 03), Morgan Kaufmann, 2003, pp. 1567-1572.
54. Hull, R. Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. In Proc. of the ACM Symposium on Principles of Database Systems (PODS 97), ACM Press, 1997, pp. 51-61.
55. Kementsietsidis, A., Arenas, M. and 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 03), ACM Press, 2003, pp. 325336.
56. Kolaitis, Ph. and Vardi, M. Conjunctive-Query Containment and Constraint Satisfaction. J. Computer and Systems Sciences, 2000, 61(2): 302-332.
57. 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.
58. Lenzerini, M. Data Integration: A Theoretical Perspective. In Proc. ACM Symposium on Principles of Database Systems (PODS 02), ACM Press, 2002, pp. 233-246.
59. Leone, N. et al. The DLV System for Konwledge Representation and Reasoning. arXiv.org paper cs.LO/0211004. To appear in ACM Transactions on Computational Logic.
60. Levy, A.Y., Mendelzon, A., Sagiv, Y. and Srivastava, D. Answering Queries Using Views. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS 95), ACM Press, 1995, pp. 95-104.
61. Levy, A., Rajaraman, A. and Ordille, J. Querying Heterogeneous Information Sources using Source Descriptions. In Proc. International Conference on Very Large Databases (VLDB 96), Morgan Kaufmann, 1996, pp. 251-262.
62. Levy, A. Logic-Based Techniques in Data Integration. Chapter in Logic Based Artificial Intelligence, J. Minker (ed.), Kluwer Publishers, 2000.
63. Lin, J. and Mendelzon, A. Merging Databases under Constraints. International Journal of Cooperative Information Systems, 1996, 7(1):55-76.
64. Lloyd, J.W. Foundations of Logic Programming. Second ed., Springer-Verlag, 1987.
65. McBrien, P. and Poulovassilis, A. Data Integration by Bi-Directional Schema Transformation Rules. In Proc. International Conference on Data Engineering (ICDE 03), IEEE Computer Society, 2003, pp. 227-238.
66. Meyden, R.v.d. Logical Approaches to Incomplete Information: A Survey. Chapter in Logics for Databases and Information Systems, J.Chomicki and G. Saake (eds.), Kluwer, 1998, pp. 307-356.
67. Millstein, T., Halevy, A. and Friedman, M. Query Containment for Data Integration Systems. Journal of Computer and Systems Sciences, 2003, 66(1): 20-39.
68. Motro A. Superviews: Virtual Integration of Multiple Databases. IEEE Transactions on Software Engineering, 1987, 13(7):785-798.
69. Motro A. Multiplex: A Formal Model for Multidatabases and Its Implementation. In Proc. International Workshop on Next Generation Information Technology and Systems, Springer LNCS 1649, 1999, pp. 138-158.
70. Pottinger, R., and Bernstein, Ph. Creating a Mediated Schema Based on Initial Correspondences. IEEE Data Engineering Bulletin, 2002, 25(3): 26-31.
71. Rahm, E. and Bernstein, Ph. A. A Survey of Approaches to Automatic Schema Matching. VLDB Journal, 2001, 10:334-350.
72. Ullman, J.D. Principles of Database and Knowledge-Base Systems. Computer Science Press, 1988.
73. Ullman, J.D. Information Integration Using Logical Views. Theoretical Computer Science, 2000, 239(2): 189-210.
74. Wei, F. and Lausen, G. Containment of Conjunctive Queries with Safe Negation. In Proc. International Conference of Database Theory (ICDT 03), Springer LNCS 2572, 2003, pp. 346-360
75. Wiederhold, G. and Genesereth, M. The Conceptual Basis for Mediation Services. IEEE Expert, 1997, 12(5): 38-47.