Speeding up XML querying: satisfiability test & containment test of XPath queries in the presence of XML schema definitions

Jinghua Groppe. Speeding up XML querying: satisfiability test & containment test of XPath queries in the presence of XML schema definitions. PhD thesis, University of Lübeck, 2008. [doi]

Abstract

Abstract is missing.