Paper Info
Title
A Query Language Based on the Ambient Logic
Abstract
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.
Year
DOI
Venue
2001
10.1007/3-540-45309-1_1
SEBD
Keywords
DocType
Volume
ambient logic,query language,execution model,semistructured data,modal logic,order logic,language semantics,relational query language,fitting foundation,good foundation,Ambient Logic,Query Language
Conference
2028
ISSN
ISBN
Citations 
0302-9743
3-540-41862-8
51
PageRank 
References 
Authors
6.54
17
2
Name
Order
Citations
PageRank
Luca Cardelli162211002.41
Giorgio Ghelli21300255.19