SPEEDING UP XML QUERYING: Satisfiability Test & Containment Test of XPath Queries in the Presence of XML Schema Definitions (Dissertation Classic)