Simplification of integrity constraints for data integration

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

Volumn 2942, Issue , 2004, Pages 31-48

  Christiansen, Henning ^a   Martinenghi, Davide ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; QUERY LANGUAGES;

DATA INTEGRATION SYSTEM; GLOBAL AS VIEW APPROACHES; GLOBAL DATABASE; GLOBAL INTEGRITY; INTEGRITY CHECKING; INTEGRITY CONSTRAINTS; LOCAL AS VIEWS; LOCAL CONSISTENCY;

DATA INTEGRATION;

EID: 35048854044     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24627-5_4     Document Type: Article

References (29)

1. Abiteboul, S. (1997). Querying semi-structured data. Proc. of the Int. Conf on Database Theory (ICDT), pp. 1-18, Vol. 1186, Springer LNCS.
2. Arenas, M., Bertossi, L., Chomicki, J., (2000). Specifying and Querying Database Repairs using Logic Programs with Exceptions. Proceedings of FQAS 2000, Larsen, H., Kacprzyk, J. Zadrozny, S., Andreasen, T., Christiansen, H. (eds.), pp. 27-41, Physica-Verlag Heidelberg New York, A Springer-Verlag Company.
3. De Amo, S., Carnielli, W., Marcos, J. (2002). A Logical Framework for Integrating Inconsistent Information in Multiple Databases. FoIKS 2002, Proceedings, Eds. Eiter, T. and Schewepp, K., pp. 67-84, Vol. 2284, Springer LNCS.
4. Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M. (2002). Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. PCL 2002, Decker, H., Villadsen, J., Waragaipp, T. pp. 51-65, Datalogiske Skrifter, Vol. 95, Roskilde University, Roskilde, Denmark.
5. Buneman, P. (1997). Semistructured data. Proc. of the ACM SIGACT-SIGMOD-SIGART Smposium on Principles of Database Systems (PODS), pp- 117-121, ACM Press.
6. Baral, C., Kraus, S., Minker, J., (1991). Combining multiple knowledge bases. IEEE Transactions on Knowledge and Data Engineering. 3(2), pp. 208-220.
7. Baral, C., Kraus, S., Minker, J., Subrahmanian, S. (1992). Combining knowledge bases consisting of first-order theories. Computational Intelligence, 8, pp. 45-71.
8. Bertossi, L., Schwind, C. (2002). Analytic Tableaux and Database Repairs: Foundations. FoIKS 2002, Proceedings, Eds. Eiter, T. and Schewepp, K., pp. 32-48, Vol. 2284, Springer LNCS.
9. Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M. (2002). On the Role of Integrity Constraints in Data Integration, Bull. of the IEEE Computer Society Technical Committee on Data Engineering, vol. 25, n. 3, pp. 39-45.
10. Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M. (2002). Data Integration under Integrity Constraints. Proceedings of CAiSE 2002, pp. 262-279, Vol. 2348, Springer LNCS.
11. Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M. (2002). On the Expressive Power of Data Integration Systems. Proc. of the 21st Int. Conf. on Conceptual Modeling (ER 2002), pp. 338-350, Vol. 2503, Springer LNCS.
12. Chakravarthy, U. S., Grant, J., Minker, J. (1987). Foundations of semantic query optimization for deductive databases. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed., Morgan Kaufmann.
13. ∼henning/LOPSTROS.pdf
14. Dijkstra, E.W. (1976). A Discipline of Programming. Prentice-Hall.
15. Flach. P., Kakas, A., (eds.), Abductive and Inductive Reasoning: Essays on their Relation and Integration, Kluwer Academic Publishers, pp. 195-211, 2000.
16. Godfrey, P., Grant, J., Gryz, J., Minker, J. (1988). Integrity Constraints: Semantics and Applications. Logics for Databases and Information System, Eds. Chomicki, J. Saake, G., Kluwer, pp. 265-306.
17. Grant, J., Minker, J. (2002). A logic-based approach to data integration. Theory and Practice of Logic Programming (TPLP), vol. 2, pp. 323-368.
18. Hoare, C.A.R. (1969). An axiomatic basis for computer programming. Communications of the ACM 12, no. 10. pp. 576-580.
19. Kakas, A.A., Kowalski, R.A., Toni, F. (1998). The role of abduction in logic programming, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, Gabbay, D.M, Hogger, C.J., Robinson, J.A., (eds.), Oxford University Press, pp. 235-324.
20. Levy, A. Y. (1999). Combining Artificial Intelligence and Databases for Data Integration. Artificial Intelligence Today, LNAI 1600. Eds. Wooldridge, M. J., Veloso, M., Springer-Verlag Berlin Heidelberg, pp. 249-268.
21. Li, C. (2003). Describing and Utilizing Constraints to Answer Queries in Data-Integration Systems. IJCAI 2003 workshop on Information Integration on the Web, On-line proceedings available at http://www.isi.edu/info-agents/workshops/ ijcai03/proceedings.htm.
22. Lin, J., Mendelzon, A. (1998). Merging Databases Under Constraints. International Journal of Cooperative Information Systems 7, no. 1. pp. 55-76.
23. ∼dm/spic/ index.html.
24. Nicolas, J.-M. (1982). Logic for Improving Integrity Checking in Relational Data Bases., Acta Informatica 18, pp. 227-253.
25. Nilsson, U., Maluzynski, J. (1995). Logic, Programming and Prolog (2nd ed.), John Wiley & Sons Ltd.
26. Revesz, P. (1997). On the Semantics of Arbitration. Journal of Algebra and Computation, 7(2), pp. 133-160.
27. Rahm, E., Bernstein, P. (2001). A survey of approaches to automatic schema matching. VLDB Journal, 10(4): 334-350.
28. Ullman, J. (1997). Information integration using logical views. International Conference on Database Theory, pp. 19-40.
29. Xu, L., Embley, D. (2003). Discovering Direct and Indirect Matches for Schema Elements. Eighth International Conference on Database Systems for Advanced Applications (DASFAA '03), Kyoto, Japan, pp. 39-46, IEEE Computer Society.