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...

• Type: Conference
• Year: 2003
• Where: SEBD
• Authors: Giovanni Conforti, Giorgio Ghelli
• Keywords: Ambient Logic, Query Language, SEBD 2003, SEBD 2007, Semistructured Data