Paper Info
Title
Spatial Tree Logics to reason about Semistructured Data
Abstract
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile com- putations. The static part of the Ambient Logic is, essentially, a spatial logic for unordered labeled trees, hence it turns out to be a good foun- dation 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. Further- more the interaction of schema and constraints is both theoretically and practically interesting (in particular for XML), and is currently a largely unexplored area. This paper introduces Spatial Tree Logics (STL, frag- ments of the logic of TQL) as formalisms for semistructured data con- straint, type and query specification and reasoning. As an example, a decidable STL fragment is presented, and it is used to solve some spe- cific decision problems for semistructured data.
Year
Venue
Keywords
2003
SEBD
decision problem,modal logic,pattern matching,query optimization,query language,data integrity,type inference
Field
DocType
Citations 
Query optimization,Data integration,Decision problem,Query language,XML,Theoretical computer science,Type inference,Decidability,Modal logic,Mathematics
Conference
10
PageRank 
References 
Authors
0.74
17
2
Name
Order
Citations
PageRank
Giovanni Conforti110312.13
Giorgio Ghelli21300255.19