Paper Info
Title
TQL: a query language for semistructured data based on the ambient logic
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.
Year
DOI
Venue
2004
10.1017/S0960129504004141
Mathematical Structures in Computer Science
Keywords
Field
DocType
relational query language,query language,ambient logic,modal logic,execution model,fitting foundation,good foundation,language semantics,semistructured data,first-order logic,mobile computer,first order logic
Query language,RDF query language,Programming language,Computer science,Description logic,Multimodal logic,Linear temporal logic,Logic programming,Dynamic logic (modal logic),Higher-order logic
Journal
Volume
Issue
ISSN
14
3
0960-1295
Citations 
PageRank 
References 
30
1.19
32
Authors
2
Name
Order
Citations
PageRank
Luca Cardelli162211002.41
Giorgio Ghelli21300255.19