Crucial papers for INFOMIX (Year 2)

  1. Andrea Calì, Domenico Lembo, and Riccardo Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Sym. On Principles of Database Systems (PODS 2003), pages 260-271, 2003.
  2. Andrea Calì, Domenico Lembo, and Riccardo Rosati. Query rewriting and answering under constraints in data integration systems. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 16-21, 2003.
    Andrea Calì, Domenico Lembo, and Riccardo Rosati. A Comprehensive Semantic Framework for Data Integration Systems. Journal of Applied Logic (invited paper). 2004. To appear.
  3. Andrea Calì, Domenico Lembo, and Riccardo Rosati. Intensional query processing in data integration systems under integrity constraints. In Proc. of the 11th Italian Conf. on Database Systems (SEBD 2003), pages 475-482, 2003.
  4. Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi. DIS@DIS: un sistema per l'integrazione semantica dei dati in presenza di vincoli di integrità. In Proc. of the 11th Italian Conf. on Database Systems (SEBD 2003), pages 537-544, 2003.
  5. Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi. DIS@DIS: a System for Semantic Data Integration under Integrity Constraints. In Proc. of the 4th International Conference on Web Information Systems Engineering (WISE 2003), pages 335-338, 2003.
  6. Diego Calvanese, Riccardo Rosati. Answering Recursive Queries under Keys and Foreign Keys is Undecidable. In Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases (KRDB 2003), pages 3-14, 2003.
  7. Thomas Eiter, Michael Fink, Gianluigi Greco, and Domenico Lembo. Efficient evaluation of logic programs for querying data integration systems. In Proc. of the 19th Int. Conf. on Logic Programming (ICLP2003), pages 163--177, 2003.
Side papers for INFOMIX

  1. Andrea Calì, Diego Calvanese, De Giacomo Giuseppe, and Maurizio Lenzerini. Data Integration under Integrity Constraints. Information Systems 2(29):147-163, 2004.
  2. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. Reasoning on Regular Path Queries. SIGMOD Record, 4(32):83-92, 2003
  3. Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini and Riccardo Rosati. Semantic Data Integration in P2P Systems. In Proc. of the VLDB 2003 Int. Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2003), 2003.
  4. Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi. Decidable Containment of Recursive Queries. In Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003), pages 330-345, 2003.
  5. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. View- Based Query Containment. In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS 2003), pages 56-67, 2003.
  6. Andra Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, and Fabio Vernacotola. IBIS: Semantic Data Integration at Work. In Proc. of the 15th Int. Conf. on Advanced Information Systems (CAiSE 2003), pages 79-94, 2003.
  7. Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi. Query Containment Using Views. In Proc. of the 11th Italian Conf. on Database Systems (SEBD 2003), pages 467-474, 2003.
  8. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini and Riccardo Rosati. What to Ask to a Peer: Ontology-based Query Reformulation. In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004). To appear.
  9. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati. Logical Foundations of Peer-To-Peer Data Integration. In Proc. of the 23rd ACM SIGACT SIGMOD SIGART Sym. On Principles of Database Systems (PODS 2004). To appear.