url - Universität zu Lübeck
url - Universität zu Lübeck
url - Universität zu Lübeck
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
CONTENTS 3<br />
6 The Index Selection Problem 103<br />
6.1 Introduction to the Index Selection Problem . . . . . . . . . . . . . . . 104<br />
6.2 Index Selection in Relational DBMS . . . . . . . . . . . . . . . . . . . . 105<br />
6.3 Index Selection Problem Applied to KeyX Indexes . . . . . . . . . . . . 108<br />
6.3.1 Index Candidates . . . . . . . . . . . . . . . . . . . . . . . . . . . 108<br />
6.3.2 Index Configuration . . . . . . . . . . . . . . . . . . . . . . . . . 110<br />
6.3.3 Cost Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110<br />
6.3.4 Costs of a configuration . . . . . . . . . . . . . . . . . . . . . . . 112<br />
6.3.5 Index Selection Problem . . . . . . . . . . . . . . . . . . . . . . . 113<br />
6.3.6 Exact Algorithm and Heuristics . . . . . . . . . . . . . . . . . . 113<br />
6.3.7 Evaluation and Experiments . . . . . . . . . . . . . . . . . . . . 115<br />
6.4 Autonomous XML Indexing . . . . . . . . . . . . . . . . . . . . . . . . . 117<br />
6.4.1 Architecture and Implementation . . . . . . . . . . . . . . . . . 117<br />
7 The XML Index Update Problem 123<br />
7.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124<br />
7.2 Intersection of Two Path Expressions . . . . . . . . . . . . . . . . . . . 125<br />
7.2.1 Formalization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126<br />
7.2.2 Automaton for Mod(p) . . . . . . . . . . . . . . . . . . . . . . . . 129<br />
7.3 NP-Completeness for Path Expressions with NOT . . . . . . . . . . . . 133<br />
7.3.1 Algorithm and Complexity of XIP NOT . . . . . . . . . . . . . . . . 135<br />
7.4 Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136<br />
7.4.1 Evaluation of Intersection . . . . . . . . . . . . . . . . . . . . . . 136<br />
7.4.2 Evaluation of Satisfiability . . . . . . . . . . . . . . . . . . . . . 137<br />
7.4.3 Evaluation of Satisfiability II . . . . . . . . . . . . . . . . . . . . 139<br />
7.5 Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139<br />
7.5.1 XPath 2.0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140<br />
7.5.2 Containment and Satisfiability of XPath Expressions . . . . . . 140<br />
7.6 Updating KeyX Indexes . . . . . . . . . . . . . . . . . . . . . . . . . . . 141<br />
7.6.1 Update Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . 142<br />
7.6.2 Index Maintenance Algorithms . . . . . . . . . . . . . . . . . . . 143<br />
8 KeyX Implementation Details 147<br />
8.1 Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147<br />
8.2 XPath expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150<br />
8.3 The Index Selection Tool . . . . . . . . . . . . . . . . . . . . . . . . . . 151<br />
8.4 Index Update Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151<br />
8.5 XDLT - A Graphical User Interface for KeyX . . . . . . . . . . . . . . . 153<br />
9 Conclusion and Future Work 157<br />
10 Appendix 161<br />
10.1 XQuery Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161<br />
10.2 Method testQualifier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161