Papers

2009

Dario Colazzo, Giorgio Ghelli, and Carlo Sartiani. Efficient Asymmetric Inclusion Between Regular Expression Types. To Appear in Proceedings of the 12th International Conference on Database Theory (ICDT 2009). St. Petersburg, Russia, March 23-25, 2009. [ .pdf ]

2008

Giorgio Ghelli, Dario Colazzo and Carlo Sartiani. Linear Time Membership in a Class of Regular Expressions with Interleaving and Counting. In Proceedings of the ACM 17th Conference on Information and Knowledge Management (CIKM 2008). Napa Valley, California. October 26-30, 2008. [ .pdf ]

Dario Colazzo, Giorgio Ghelli and Carlo Sartiani. Efficient Inclusion for a Class of XML Types with Interleaving and Counting. Accepted for publication in Information Systems (06/25/2008)

Giorgio Ghelli and Dario Colazzo and Carlo Sartiani. Linear Time Membership for a Class of XML Types with Interleaving and Counting In Proceedings of PLAN-X 2008, Programming Language Techniques for XML, San Francisco, California. January 9, 2008. [ .pdf ]

2007

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi and Carlo Sartiani. Scalable Query Dissemination in XPeer (Extended Version). In Proceedings of the Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), Banff, Canada September 6-8, 2007 [ .pdf ]

Giorgio Ghelli and Dario Colazzo and Carlo Sartiani. Efficient Inclusion for a Class of XML Types with Interleaving and Counting. In Proceedings of 11th International Symposium on Database Programming Languages (DBPL 2007), Vienna, Austria. September 23-24, 2007. [ .pdf ]

Giorgio Ghelli and Dario Colazzo and Carlo Sartiani. Efficient Inclusion for a Class of XML Types with Interleaving and Counting. Technical report TR-07-14, Dipartimento di Informatica, UniversitÓ di Pisa, June 2007. [ .pdf ]

Dario Colazzo and Carlo Sartiani. Efficient Subtyping for Unordered XML Types. Technical report TR-07-03, Dipartimento di Informatica, UniversitÓ di Pisa, February 2007. [ .pdf ]

Giovanni Conforti, Giorgio Ghelli, Paolo Manghi and Carlo Sartiani. Scalable Query Dissemination in XPeer. In Proceedings of the ICDT Workshop on Emerging Research Opportunities in Web Data Management (EROW 2007), Barcelona, Spain. January 13, 2007. [ .pdf ]

2006

Dario Colazzo and Carlo Sartiani. An Efficient Algorithm for XML Type Projection. In Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), Venice, Italy, 10-12 July 2006. [ .pdf ]

Dario Colazzo and Carlo Sartiani. Mapping Maintenance in XML P2P Databases (Extended Abstract). In Proceedings of the Fourteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2006), Portonovo, Italy, 18-21 June, 2006. [ .pdf ]

Carlo Sartiani. A Query Algebra for XML P2P Databases. In Proceedings of the Eleventh International Workshop on Foundations of Models and Languages for Data and Objects (FMLDO), (co-located with EDBT) 30-31 March, 2006. Munich, Germany. [ .pdf ]

2005

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.

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 ]