Crucial papers for INFOMIX (Year 3)


  1. A. Calì, D. Lembo, and R. Rosati. A Comprehensive Semantic Framework for Data Integration Systems. Journal of Applied Logic, Volume 3, Issue 2, pages 308-328, 2005.
  2. A. Calì, D. Lembo, and R. Rosati, and M. Ruzzi. Experimenting Data Integration with DIS@DIS. In Proc. of the 16th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2004), pages 51-66, 2004.
  3. N. Leone, G. Gottlob, R. Rosati, G. Greco, G. Ianni, V. Lio, G. Terracina, T. Eiter, W. Faber, M. Fink, D. Lembo, M. Lenzerini, M. Ruzzi, E. Kalka, B. Nowicki, W. Staniszkis. The INFOMIX system for advanced integration of incomplete and inconsistent data. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2005), pages 915-917, 2005.

Published in year 4:

  1. N. Leone, G. Gottlob, R. Rosati, G. Greco, G. Ianni, V. Lio, G. Terracina, T. Eiter, W. Faber, M. Fink, D. Lembo, M. Lenzerini, M. Ruzzi, E. Kalka, B. Nowicki, W. Staniszkis. The INFOMIX system for advanced integration of incomplete and inconsistent data. In Proceedings of the 13th Italian Conference on Database Systems (SEBD 2005). pages 55-66, 2005.
  2. N. Leone, G. Gottlob, R. Rosati, G. Greco, G. Ianni, V. Lio, G. Terracina, T. Eiter, W. Faber, M. Fink, D. Lembo, M. Lenzerini, M. Ruzzi, E. Kalka, B. Nowicki, W. Staniszkis. Data Integration by Logic Programming: The INFOMIX System. In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005). To appear.

Side papers for INFOMIX

  1. A. Calì, D. Calvanese, G. De Giacomo, and M. Lenzerini. Data Integration under Integrity Constraints. Information Systems 2(29):147-163, 2004.
  2. D. Calvanese, G. De Giacomo. Data integration: a logic-based perspective. AI Magazine, number 1, volume 26, pages 59-70, 2005.
  3. D. Calvanese, G. De Giacomo, and M. Vardi. Decidable containment of recursive queries. Theoretical Computer Science, number 1, volume 336, pages 33-56, 2005.
  4. T. Eiter, D. Lembo. Introduction to the Special Issue on Logic-based Methods for Information Integration. Journal of Applied Logic, number 3, volume 10, pages 251-252. 2005.