Speeding up XML querying [Elektronische Ressource] : satisfiability test & containment test of XPath queries in the presence of XML schema definitions / by Jinghua Groppe

SPEEDING UP XML QUERYING Satisfiability Test & Containment Test of XPath Queries in the Presence of XML Schema Definitions Dissertation by Jinghua Groppe Lübeck, Germany, July 2008 Jinghua Groppe Institut für Informationssysteme Universität zu Lübeck Ratzeburger Allee 160 D-23538 Lübeck Germany E-Mail: Jinghua.Groppe@ifis.uni-luebeck.de Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) der Technisch-Naturwissenschaftlichen Fakultät der Universität zu Lübeck in Deutschland Dekan: Prof. Dr. Enno Hartmann Gutachter: Prof. Dr. Volker Linneman Prof. Dr. Walter Dosch Tag der Promotion: 9. Juli 2008 My intelligence comes from my mother My interest in study comes from my mother My character comes from my mother ACKNOWLEDGEMENTS I would like to express my thanks to all of the people, who once gave me help, support, encouragement and happy times in my study, in my live and in my work not only in our PhD work. However, it is a pity that I cannot mention each of them. I would like to thank Professor Volker Linneman for supervising my disser-tation. Without the supervision of Professor Linneman, I could not have had my promotion examination today.