A Query Language Based on the Ambient Logic

  • Luca Cardelli
  • Giorgio Ghelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2028)


The ambient logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computation. The structural part of the ambient logic is, essentially, a logic of labeled trees, hence it turns out to be a good foundation for query languages for semistructured data, much in the same way as first order logic is a fitting foundation for relational query languages.We define here a query language for semistructured data that is based on the ambient logic, and we outline an execution model for this language. The language turns out to be quite expressive. Its strong foundations and the equivalences that hold in the ambient logic are helpful in the definition of the language semantics and execution model.


Query Language Tree Logic Information Tree Execution Model Label Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    XML schema. Available from, 2000.
  2. 2.
    XML query. Available from, 2001.
  3. 3.
    S. Abiteboul, P. Buneman, and D. Suciu. Data on the WEB: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Mateo, CA, October 1999.Google Scholar
  4. 4.
    S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, MA, 1995.Google Scholar
  5. 5.
    Serge Abiteboul, Dallan Quass, Jason McHugh, Jennifer Widom, and Janet L. Wiener. The Lorel query language for semistructured data. International Journal on Digital Libraries, 1(1):68–88, 1997.CrossRefGoogle Scholar
  6. 6.
    P. Buneman, S. B. Davidson, G. G. Hillebrand, and D. Suciu. A query language and optimization techniques for unstructured data. In Proc. of the 1996 ACM SIGMOD International Conference on Management of Data (SIGMOD), Montreal, Quebec, Canada, pages 505–516, 4-6 June 1996. SIGMOD Record 25(2), June 1996.CrossRefGoogle Scholar
  7. 7.
    L. Cardelli. Semistructured computation. In Proc. of the Seventh Intl. Workshop on Data Base Programming Languages (DBPL), 1999.Google Scholar
  8. 8.
    L. Cardelli and G. Ghelli. Evaluation of TQL queries. Available from, 2001.
  9. 9.
    L. Cardelli and A. D. Gordon. Mobile ambients. In Proceedings FoSSaCS’98, volume 1378 of LNCS, pages 140–155. Springer-Verlag, 1998. Accepted for publication in Theoretical Computer Science.Google Scholar
  10. 10.
    L. Cardelli and A. D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proc. of Principles of Programming Languages (POPL). ACM Press, January 2000.Google Scholar
  11. 11.
    D. Chamberlin, J. Robie, and D. Florescu. Quilt: An XML query language for heterogeneous data sources. In Proc. of Workshop on the Web and Data Bases (WebDB), 2000.Google Scholar
  12. 12.
    Sophie Cluet, Claude Delobel, Jérôme Siméon, and Katarzyna Smaga. Your mediators need data conversion. In Proc. of ACM SIGMOD International Conference on Management of Data (SIGMOD), 1998.Google Scholar
  13. 13.
    A. Deutsch, D. Florescu M. Fernandez, A. Levy, and D. Suciu. A query language for XML. In Proc. of the Eighth International World Wide Web Conference, 1999.Google Scholar
  14. 14.
    M. Fernandez, D. Florescu, A. Levy, and D. Suciu. A query language and processor for a web-site management system. In Proc. of Workshop on Management of Semistructured Data, Tucson, 1997.Google Scholar
  15. 15.
    Mary Fernandez, Daniela Florescu, Jaewoo Kang, Alon Levy, and Dan Suciu. Catching the boat with Strudel: experiences with a web-site management system. In Proc. of ACM SIGMOD International Conference on Management of Data (SIGMOD), pages 414–425, 1998.Google Scholar
  16. 16.
    Mary Fernandez, J. Siméon, P. Wadler, S. Cluet, A. Deutsch, D. Florescu, A. Levy, D. Maier, J. McHugh, J. Robie, D. Suciu, and J. Widom. XML query languages: Experiences and exemplars. Available from, 1999.
  17. 17.
    G. Ghelli. TQL as an XML query language. Available from, 2001.
  18. 18.
    R. Goldman, J. McHugh, and J. Widom. From semistructured data to XML: Migrating the lore data model and query language. In Proc. of Workshop on the Web and Data Bases (WebDB), pages 25–30, 1999.Google Scholar
  19. 19.
    B.C. Pierce H. Hosoya. XDuce: A typed XML processing language (preliminary report). In Proc. of Workshop on the Web and Data Bases (WebDB), 2000.Google Scholar
  20. 20.
    P. Kanellakis. Tutorial: Constraint programming and database languages. In Proc. of the 14th Symposium on Principles of Database Systems (PODS), San Jose, California, pages 46–53. ACM Press, 1995.Google Scholar
  21. 21.
    G. Kuper, L. Libkin, and J. Paredaens. Constraint Databases. Springer-Verlag, Berlin, 2000.zbMATHGoogle Scholar
  22. 22.
    F. Neven and T. Schwentick. Expressive and efficient pattern languages for tree-structured data. In Proc. of the 19th Symposium on Principles of Database Systems (PODS), 2000.Google Scholar
  23. 23.
    F. Pantaleo. Realizzazione di un linguaggio di interrogazione per XML. Tesi di Laurea del Dipartimento di Informatica dell’Università di Pisa, 2000.Google Scholar
  24. 24.
    Y. Papakonstantinou, H.G. Molina, and J. Widom. Object exchange across heterogeneous information sources. Proc. of the eleventh IEEE Int. Conference on Data Engineering, Birmingham, England, pages 251–260, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Luca Cardelli
    • 1
  • Giorgio Ghelli
    • 2
  1. 1.Microsoft ResearchCambridgeUK
  2. 2.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations