-
Mu-Calculus Based Resolution of XPath Decision Problems
XPath is the standard declarative notation for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization,... -
A Decision Procedure for XPath Containment
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The... -
Static Analysis of Semantic Web Queries
Query containment is a well-studied problem spanning over several decades of research. Generally, it is defined as the problem of determining if the result of one... -
Eulerian Simulation of Interacting PWR Sprays Including Droplet Collisions
International audience
