A Query Language Based on the Ambient Logic
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.
KeywordsQuery Language Tree Logic Information Tree Execution Model Label Tree
- 1.XML schema. Available from http://www.w3c.org, 2000.
- 2.XML query. Available from http://www.w3c.org, 2001.
- 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.S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, MA, 1995.Google Scholar
- 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.L. Cardelli. Semistructured computation. In Proc. of the Seventh Intl. Workshop on Data Base Programming Languages (DBPL), 1999.Google Scholar
- 8.L. Cardelli and G. Ghelli. Evaluation of TQL queries. Available from http://www.di.unipi.it/~ghelli/papers.html, 2001.
- 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.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.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.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.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.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.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.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 http://www-db.research.bell-labs.com/user/simeon/xquery.ps, 1999.
- 17.G. Ghelli. TQL as an XML query language. Available from http://www.di.unipi.it/~ghelli/papers.html, 2001.
- 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.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.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
- 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.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.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