Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Types for Path Correctness of XML Queries. Accepted for publication in JFP (Journal of Functional Programming), Special Issue on ICFP 2004 Best Papers.
Papers
2005
Dario Colazzo and Carlo Sartiani. Mapping Maintenance in XML P2P Databases, 2005. In Proceedings of the Tenth International Symposium on Database Programming Languages (DBPL-2005), (co-located with VLDB) 28-29 August, 2005. Trondheim, Norway [ .pdf ]
Carlo Sartiani. On the Correctness of Query Results in XML P2P Databases. In Proceedings of the Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005), Bressanone, Italy, 19-22 June, 2005 [ .pdf ]
Dario Colazzo and Carlo Sartiani. An Approach to Detect Corrupted Schema Mappings in XML P2P Databases. In Proceedings of the Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005), Bressanone, Italy, 19-22 June, 2005 [ .pdf ]
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Types for Path Correctness of XML Queries. In Proceedings of the Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005), Bressanone, Italy, 19-22 June, 2005 [ .pdf ]
Dario Colazzo and Carlo Sartiani. Typechecking Queries for Maintaining Schema Mappings in XML P2P Databases, 2005. In Proceedings of PLAN-X 2005: Programming Language Technologies for XML, colocated with POPL 2005. [ .pdf ]
2004
Carlo Sartiani. On the Correctness of Query Results in XML P2P Databases. In Proceedings of the Fourth IEEE International Conference on Peer-to-Peer Computing (P2P2004), 25-27 August, Zurich, Switzerland, 2004 [ .pdf ]
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Types for Path Correctness of XML Queries. In Proceedings of the International Conference on Functional Programming (ICFP), Snowbird, Utah, September 19-22, 2004 [ .pdf ]
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. A Self-organizing XML P2P Database System. In Proceedings of the Twelfth Italian Symposium on Advanced Database Systems (SEBD 2004) S. Margherita di Pula (Cagliari), Italy, 21-23 June, 2004 [ .pdf ]
Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, and Giovanni Conforti. XPeer: A Self-organizing XML P2P Database System. In Proceedings of the First EDBT Workshop on P2P and Databases (P2P&DB 2004), Crete, Greece, 2004 [ .pdf ]
2003
Carlo Sartiani. A General Framework for Estimating XML Query Cardinality. In Proceedings of the 9th International Workshop on Data Bases and Programming Languages - DBPL03, Potsdam, Germany, September 6-8, 2003 [ .pdf ]
Carlo Sartiani. A Framework for Estimating XML Query Cardinality. In Proceedings of the Sixth International Workshop on the Web and Databases, San Diego, California, 2003 [ .pdf ]
Carlo Sartiani. Evaluating Nested Queries on XML Data. In Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), Hong Kong, China, July 16-18, 2003 [ .pdf ]
2002
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani. Types for Correctness of Queries over Semistructured Data. In Proceedings of the Fifth International Workshop on the Web and Databases, Madison, Winsconsin, 2002 [ .pdf ]
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, and Carlo Sartiani. The Query Langauge TQL. In Proceedings of the Fifth International Workshop on the Web and Databases, Madison, Winsconsin, 2002 [ .pdf ]
Carlo Sartiani, Antonio Albano. Yet Another Query Algebra for XML Data. In Proceedings of the International Database Engineering and Applications Symposium (IDEAS 2002), Edmonton, Canada, July 17-19, 2002 [.pdf ]
Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, and Michele Paoli. A Typed Text Retrieval Query Language for XML Documents. In Journal of American Society for Computer Science and Technology (JASIST), Special Issue on XML and Information Retrieval, 2002 [ .pdf ]
2000
Carlo Sartiani. Basi di Dati Semistrutturate e XML. In Laura Abba, Andrea Marchetti and Giuseppe Vasarelli, editors, XML Italia 2000, Atti del Convegno, Pisa, 9-10 Maggio, 2000, Consiglio Nazionale delle Ricerche, Istituto per le Applicazioni Telematiche [ .pdf ]
A. Albano, D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. A Type System For Querying XML documents. In Proceedings of ACM SIGIR 2000 Workshop On XML and Information Retrieval, Athens, Greece, 2000 [ .pdf ]