Combining Temporal Logics for Querying XML Documents

Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-calculus and navigation based on regular expressions. This opened up the possibility of bringing model-checking techniques into the field of XML, as documents are naturally represented as labeled transition systems. Most known results of this kind, however, are limited to Boolean or unary queries, which are not always sufficient for complex querying tasks. Here we present a technique for combining temporal logics to capture nary XML queries expressible in two yardstick languages: FO and MSO. We show that by adding simple terms to the language, and combining a temporal logic for words together with a temporal logic for unary tree queries, one obtains logics that select arbitrary tuples of elements, and can thus be used as building blocks in complex query languages. We present general results on the expressiven...

• Type: Conference
• Year: 2007
• Where: ICDT
• Authors: Marcelo Arenas, Pablo Barceló, Leonid Libkin
• Keywords: Complex Querying Tasks, Database, ICDT 2007, Logics Ltl, Temporal Logics