Spatial Tree Logics to reason about Semistructured Data

9 years 9 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is, essentially, a spatial logic for unordered labeled trees, hence it turns out to be a good foundation for expressing properties of tree-shaped data (i.e. semistructured data and XML). The Tree Query Language (TQL) is a query language for semistructured data based on the Ambient Logic. TQL uses Ambient Logic formulas to express properties of data that will be collected using a sort of pattern-matching mechanism. Reasoning about constraints for semistructured Data and XML is an active branch of research and has several applications including query optimizations and data integration; it is crucial for validity, type inference, and static type checking. Furthermore the interaction of schema and constraints is both theoretically and practically interesting (in particular for XML), and is currently a largely unexpl...
Giovanni Conforti, Giorgio Ghelli
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where SEBD
Authors Giovanni Conforti, Giorgio Ghelli
Comments (0)