A comprehensive semantic framework for data integration systems

Journal of Applied Logic

Volumn 3, Issue 2 SPEC. ISS., 2005, Pages 308-328

  Calì, Andrea ^a   Lembo, Domenico ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Consistent query answering; Data inconsistency; Data integration; Repair semantics

Indexed keywords

DATA MINING; DATA STRUCTURES; FORMAL LOGIC; QUERY LANGUAGES; SEMANTICS; WORLD WIDE WEB;

CONSISTENT QUERY ANSWERING; DATA INCONSISTENCY; DATA INTEGRATION SYSTEMS; REPAIR SEMANTICS;

DATABASE SYSTEMS;

EID: 18644373214     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2004.07.022     Document Type: Article

References (45)

1. S. Abiteboul O. Duschka Complexity of answering queries using materialized views in: Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98) 1998 254-265
2. S. Abiteboul R. Hull V. Vianu Foundations of Databases 1995 Addison-Wesley Publ. Co. Reading, MA
3. C.E. Alchourrón P. Gärdenfors D. Makinson On the logic of theory change: Partial meet contraction and revision functions J. Symbolic Logic 50 1985 510-530
4. M. Arenas L.E. Bertossi J. Chomicki Consistent query answers in inconsistent databases in: Proceedings of the 11th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'99) 1999 68-79
5. M. Arenas L.E. Bertossi J. Chomicki Specifying and querying database repairs using logic programs with exceptions in: Proceedings of the 4th International Conference on Flexible Query Answering Systems (FQAS 2000) 2000 Springer 27-41
6. C. Baral S. Kraus J. Minker V.S. Subrahamanian Combining knowledge bases consisting of first-order analysis Comput. Intelligence 8 1992 45-71
7. C. Beeri A.Y. Levy M.-C. Rousset Rewriting queries using views in description logics in: Proceedings of the 16th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'97) 1997 99-108
8. D. Beneventano S. Bergamaschi S. Castano A. Corni R. Guidetti G. Malvezzi M. Melchiori M. Vincini Information integration: The MOMIS project demonstration in: Proceedings of the 26th International Conference on Very Large Data Bases (VLDB 2000) 2000
9. S. Bergamaschi S. Castano M. Vincini D. Beneventano Semantic integration of heterogeneous information sources Data Knowledge Engrg. 36 3 2001 215-249
10. L. Bertossi J. Chomicki A. Cortes C. Gutierrez Consistent answers from integrated data sources in: Proceedings of the 6th International Conference on Flexible Query Answering Systems (FQAS 2002) 2002 71-85
11. L. Bravo L. Bertossi Logic programming for consistently querying data integration systems in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) 2003 10-15
12. F. Bry Query answering in information systems with integrity constraints in: IFIP WG 11.5 Working Conference on Integrity and Control in Information System 1997 Chapman & Hall
13. A. Calì D. Calvanese G. De Giacomo M. Lenzerini Data integration under integrity constraints Inform. Syst. 29 2004 147-163
14. A. Calì D. Lembo R. Rosati On the decidability and complexity of query answering over inconsistent and incomplete databases in: Proceedings of the 22nd ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2003) 2003 260-271
15. A. Calì D. Lembo R. Rosati Query rewriting and answering under constraints in data integration systems in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) 2003 16-21
16. D. Calvanese G. De Giacomo M. Lenzerini Answering queries using views over description logics knowledge bases in: Proceedings of the 17th National Conference on Artificial Intelligence (AAAI 2000) 2000 386-391
17. D. Calvanese G. De Giacomo M. Lenzerini D. Nardi R. Rosati Data integration in data warehousing Internat. J. Cooperat. Inform. Syst. 10 3 2001 237-271
18. D. Calvanese R. Rosati Answering recursive queries under keys and foreign keys is undecidable in: Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003) 2003 CEUR Electronic Workshop Proceedings http://ceur-ws.org/Vol-79/
19. W.A. Carnielli J. Marcos A taxonomy of C-systems in: Paraconsistency-the Logical Way to the Inconsistent in: Lecture Notes in Pure and Applied Mathematics 2001 1-94
20. S.S. Chawathe H. Garcia-Molina J. Hammer K. Ireland Y. Papakonstantinou J.D. Ullman J. Widom The TSIMMIS project: Integration of heterogeneous information sources in: Proc. of the 10th Meeting of the Information Processing Society of Japan (IPSJ'94) 1994 7-18
21. J. Chomicki J. Marcinkowski Minimal-change integrity maintenance using tuple deletions Technical Report cs.DB/0212004 v1, arXiv.org e-Print archive, December 2002. Available at http://arxiv.org/abs/cs/0212004
22. J. Chomicki J. Marcinkowski On the computational complexity of consistent query answers. Technical Report cs.DB/0204010 v1, arXiv.org e-Print archive, April 2002 Available at http://arxiv.org/abs/cs/0204010
23. N.C.A. da Costa On the theory of inconsistent formal systems Notre Dame J. Formal Logic 15 1974 497-510
24. O.M. Duschka M.R. Genesereth A.Y. Levy Recursive query plans for data integration J. Logic Programm. 43 1 2000 49-73
25. T. Eiter G. Gottlob On the complexity of propositional knowledge base revision, updates and counterfactuals Artificial Intelligence 57 1992 227-270
26. R. Fagin P.G. Kolaitis R.J. Miller L. Popa Data exchange: Semantics and query answering in: Proceedings of the 9th International Conference on Database Theory (ICDT 2003) 2003 207-224
27. R. Fagin J.D. Ullman M.Y. Vardi On the semantics of updates in databases in: Proceedings of the 2nd ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS'83) 1983 352-365
28. M.R. Genereseth A.M. Keller O.M. Duschka Infomaster: An information integration system in: ACM SIGMOD International Conference on Management of Data 1997
29. G. Greco S. Greco E. Zumpano A logical framework for querying and repairing inconsistent databases IEEE Trans. Knowledge Data Engrg. 15 6 2003 1389-1408
30. J. Gryz Query rewriting using views in the presence of functional and inclusion dependencies Inform. Syst. 24 7 1999 597-612
31. A.Y. Halevy Theory of answering queries using views SIGMOD Record 29 4 2000 40-47
32. A.Y. Halevy Answering queries using views: A survey Very Large Database J. 10 4 2001 270-294
33. A.Y. Halevy G.I. Zachary D. Suciu I. Tatarinov Schema mediation in peer data management systems in: Proceedings of the 19th IEEE International Conference on Data Engineering (ICDE 2003) 2003 505-513
34. R. Hull Managing semantic heterogeneity in databases: A theoretical perspective in: Proceedings of the 16th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'97) 1997 51-61
35. H. Katsuno A.O. Mendelzon Propositional knowledge base revision and minimal change Artificial Intelligence 52 1991 263-294
36. T. Kirk A.Y. Levy Y. Sagiv D. Srivastava The Information Manifold in: Proceedings of the AAAI 1995 Spring Symp. on Information Gathering from Heterogeneous, Distributed Environments 1995 85-91
37. D. Lembo M. Lenzerini R. Rosati Source inconsistency and incompleteness in data integration in: Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002) 2002 CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-54/
38. M. Lenzerini Data integration: A theoretical perspective in: Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2002) 2002 233-246
39. H.J. Levesque G. Lakemeyer The Logic of Knowledge Bases 2001 MIT Press
40. A.Y. Levy Logic-based techniques in data integration in: J. Minker (Ed.) Logic Based Artificial Intelligence 2000 Kluwer Academic Publisher
41. J. Lin A.O. Mendelzon Merging databases under constraints Internat. J. Cooperat. Inform. Syst. 7 1 1998 55-76
42. I. Manolescu D. Florescu D. Kossmann Answering XML queries on heterogeneous data sources in: Proceedings of the 27th International Conference on Very Large Data Bases (VLDB 2001) 2001 241-250
43. X. Qian Query folding in: Proceedings of the 12th IEEE International Conference on Data Engineering (ICDE'96) 1996 48-55
44. J.D. Ullman Information integration using logical views Theoret. Comput. Sci. 239 2 2000 189-210
45. M. Winslett Updating Logical Databases 1990 Cambridge University Press