Hostname: page-component-745bb68f8f-grxwn Total loading time: 0 Render date: 2025-01-23T19:47:28.478Z Has data issue: false hasContentIssue false
  • English
  • Français

TQL: a query language for semistructured data based on the ambient logic

Published online by Cambridge University Press:  20 May 2004

LUCA CARDELLI  and
GIORGIO GHELLI
LUCA CARDELLI
Affiliation:
Microsoft Research, Cambridge, U.K.
GIORGIO GHELLI
Affiliation:
Università di Pisa, Pisa, Italy E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

The ambient logic is a modal logic that was proposed for the description of the structural and computational properties of distributed and mobile computation. The structural part of the ambient logic is, essentially, a logic of labelled 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.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 14 , Issue 3 , June 2004 , pp. 285 - 327
Copyright
2004 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)