Add to ORKGInternational audienceWe survey results about static analysis of pattern-based queries over XML documents. These queries are analogs of conjunctive queries, their unions and Boolean combinations, in which tree patterns play the role of atomic formulae. As in the relational case, they can be viewed as both queries and incomplete documents, and thus static analysis problems can also be viewed as finding certain answers of queries over such documents. We look at satisfiability of patterns under schemas, containment of queries for various features of XML used in queries, finding certain answers, and applications of pattern-based queries in reasoning about schema mappings for data exchange
In a recent paper, Martens et al. introduced a specification mechanism for {XML} tree languages, bas...
XML query languages typically allow the specification of structural patterns using XPath. Usually, t...
A common theme in the study of logics over finite structures is adding auxiliary predicates to enhan...
International audienceWe survey results about static analysis of pattern-based queries over XML docu...
We study static analysis, in particular the containment prob-lem, for analogs of conjunctive queries...
International audienceWe study static analysis, in particular the containment problem, for analogs o...
XML is a rather verbose representation of semistructured data, which may require huge amounts of sto...
XML query languages typically allow the specification of structural patterns of elements. Finding th...
Schemas have always played a crucial role in database management. For traditional relational and obj...
XML query languages typically allow the specification of structural patterns of elements. Finding th...
Satisfiability is an important problem of queries for XML documents. This paper focuses on the satis...
Tutorial - IEEE International Conference on Data Engineering (ICDE)International audienceSchemas hav...
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based...
International audienceWith XML becoming an ubiquitous language for data interoperability purposes in...
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However...
In a recent paper, Martens et al. introduced a specification mechanism for {XML} tree languages, bas...
XML query languages typically allow the specification of structural patterns using XPath. Usually, t...
A common theme in the study of logics over finite structures is adding auxiliary predicates to enhan...
International audienceWe survey results about static analysis of pattern-based queries over XML docu...
We study static analysis, in particular the containment prob-lem, for analogs of conjunctive queries...
International audienceWe study static analysis, in particular the containment problem, for analogs o...
XML is a rather verbose representation of semistructured data, which may require huge amounts of sto...
XML query languages typically allow the specification of structural patterns of elements. Finding th...
Schemas have always played a crucial role in database management. For traditional relational and obj...
XML query languages typically allow the specification of structural patterns of elements. Finding th...
Satisfiability is an important problem of queries for XML documents. This paper focuses on the satis...
Tutorial - IEEE International Conference on Data Engineering (ICDE)International audienceSchemas hav...
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based...
International audienceWith XML becoming an ubiquitous language for data interoperability purposes in...
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However...
In a recent paper, Martens et al. introduced a specification mechanism for {XML} tree languages, bas...
XML query languages typically allow the specification of structural patterns using XPath. Usually, t...
A common theme in the study of logics over finite structures is adding auxiliary predicates to enhan...