TQL

TQL system

• Download TQL System.

TQL papers

• L. Cardelli and G. Ghelli, TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science, 2003. To appear.
• Luca Cardelli, Giorgio Ghelli, A Query Language Based on the Ambient Logic. ESOP'01 Invited Paper. David Sands, Editor: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001, Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2028, Springer, 2001. ISBN 3-540-41862-8. pp. 1-22. 
• G. Conforti, O. Ferrara, and G. Ghelli. TQL algebra and its implementation (extended abstract).   (.pdf) In Proc. of IFIP International Conference on Theoretical Computer Science (IFIP TCS), Montreal, Canada, August 2002.
• G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The query language TQL. In Proc. of the 5th International Workshop on the Web and Databases (WebDB), Madison, Wisconsin, USA, 2002.
• Master thesis: Realizzazione completa di TQL, un linguaggio per l'interrogazione di dati semi-strutturati.
  2001. Universitą di Pisa. G. Conforti and O. Ferrara

TQL team

• Pisa university:
  • Giovanni Conforti
  • Giorgio Ghelli
  • Antonio Albano
  • Dario Colazzo
  • Paolo Manghi
  • Carlo Sartiani


• Microsoft Research, Cambridge, UK:
  • Luca Cardelli