\begin{thebibliography}{10} \bibitem{xmlschema} Xml schema. \newblock {http://www.w3.org/XML/Schema}. \bibitem{pirdb} Pir-international protein sequence database. \newblock {ftp://nbrfa.georgetown.edu/pir/databases/pir\_xml/}, November 2004. \bibitem{aplib} Ap library. \newblock {http://www.ccs.neu.edu/research/demeter/software/APLibrary/}, 2005. \bibitem{bsml} Bioinformatic sequence markup language. \newblock {http://www.labbook.com/}, 2005. \bibitem{bioml} Biopolymer markup language (bioml). \newblock {http://www.bioml.com/BIOML/index.html}, 2005. \bibitem{demeterj} Demeterj. \newblock {http://www.ccs.neu.edu/research/demeter/software/DemeterJ/}, 2005. \bibitem{game} Genome annotation markup elements. \newblock {http://www.bioxml.org/Projects/game}, 2005. \bibitem{java15} Java 2 platform standard edition 1.5. \newblock {http://java.sun.com/j2se/1.5/}, 2005. \bibitem{msaml} Multiple sequence alignments markup language. \newblock {http://maggie.cbr.nrc.ca/~gordonp/xml/MSAML}, 2005. \bibitem{pirdtd} Pir database dtd. \newblock ftp://ftp.pir.georgetown.edu/pir\_databases/psd/xml/, 2005. \bibitem{psdml} Protein sequence database markup language. \newblock {http://pir.georgetown.edu/}, 2005. \bibitem{xercesj} Xerces-j api documentation. \newblock {http://xml.apache.org/xerces-j/apiDocs}, 2005. \bibitem{564726b} S.~Amer-Yahia, S.~Cho, L.~V.~S. Lakshmanan, and D.~Srivastava. \newblock Minimization of tree pattern queries. \newblock In {\em Proceeding of the ACM SIGMOD internationl conference on the management of data}, pages 497--508. ACM Press, May 2001. \bibitem{BhowmickWLM03} S.~S. Bhowmick, T.~K. Wee, E.~Leonardi, and S.~K. Madria. \newblock Storing dtd-conscious xml data in xedy. \newblock In {\em EC-Web}, pages 270--280, 2003. \bibitem{xquery} S.~Boag, D.~Chamberlin, M.~F. Fernandez, D.~Florescu, and J.~R.~J. Simeon. \newblock Xquery: An xml query language. \newblock {http://www.w3.org/TR/xquery/}. \bibitem{treepattern} Z.~Chen, H.~V. Jagadish, L.~V.~S. Laksmanan, and S.~Paparizos. \newblock From tree patterns to generalized tree patterns: On efficient eavluation of xquery. \newblock In {\em VLDB '03: Proceedings of the 29th Intl. Conf. on Very Large Data Bases}. ACM Press, 2003. \bibitem{xmlptr} S.~DeRose, E.~Maler, and R.~D. Jr. \newblock Xml pointer language. \newblock {http://http://www.w3.org/TR/WD-xptr}. \bibitem{xlink} S.~DeRose, E.~Maler, and D.~Orchard. \newblock Xml linking language (xlink) version 1.0. \newblock {http://www.w3.org/TR/xlink}, 2001. \bibitem{FlescaFM03} S.~Flesca, F.~Furfaro, and E.~Masciari. \newblock On the minimization of xpath queries. \newblock In {\em VLDB}, pages 153--164, 2003. \bibitem{gottlob02} G.~Gottlob, C.~Koch, and R.~Pichler. \newblock Effcient algorithms for processing xpath queries. \newblock In {\em In Proceedings of the 28th International Conference on Very Large Data Bases (VLDB'02)}, 2002. \bibitem{Koch03} C.~Koch. \newblock Efficient processing of expressive node-selecting queries on xml data in secondary storage: A tree automata-based approach. \newblock In {\em VLDB}, pages 249--260, 2003. \bibitem{li01indexing} Q.~Li and B.~Moon. \newblock Indexing and querying {XML} data for regular path expressions. \newblock In {\em The {VLDB} Journal}, pages 361--370, 2001. \bibitem{973102} K.~Lieberherr, B.~Patt-Shamir, and D.~Orleans. \newblock Traversals of object structures: Specification and efficient implementation. \newblock {\em ACM Trans. Program. Lang. Syst.}, 26(2):370--412, 2004. \bibitem{karl:demeter} K.~J. Lieberherr. \newblock {\em Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns}. \newblock PWS Publishing Company, Boston, 1996. \newblock 616 pages, ISBN 0-534-94602-X, entire book at www.ccs.neu.edu/research/demeter. \bibitem{strategies-tr:LP97} K.~J. Lieberherr and B.~Patt-Shamir. \newblock {Traversals of Object Structures: Specification and Efficient Implementation}. \newblock Technical Report {NU-CCS-97-15}, College of Computer Science, Northeastern University, Boston, MA, Sep. 1997. \newblock http://www.ccs.neu.edu/research/demeter/AP-Library/. \bibitem{strategies:LP} K.~J. Lieberherr and B.~Patt-Shamir. \newblock {Traversals of Object Structures: Specification and Efficient Implementation}. \newblock Technical Report {NU-CCS-97-15}, College of Computer Science, Northeastern University, Boston, MA, July 1997. \bibitem{strategies:toplas} K.~J. Lieberherr, B.~Patt-Shamir, and D.~Orleans. \newblock {Traversals of Object Structures: Specification and Efficient Implementation}. \newblock {\em ACM Transactions on Programming Languages and Systems}, March 2004. \bibitem{DJ:99} J.~Marshall, D.~Orleans, and K.~Lieberherr. \newblock {DJ: Dynamic Structure-Shy Traversal in Pure Java}. \newblock Technical report, Northeastern University, May 1999. \newblock http://www.ccs.neu.edu/research/demeter/DJ/. \bibitem{543623} G.~Miklau and D.~Suciu. \newblock Containment and equivalence for an xpath fragment. \newblock In {\em Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems}, pages 65--76. ACM Press, 2002. \bibitem{564726} P.~Ramanan. \newblock Efficient algorithms for minimizing tree pattern queries. \newblock In {\em SIGMOD '02: Proceedings of the 2002 ACM SIGMOD international conference on Management of data}, pages 299--309. ACM Press, 2002. \bibitem{wadler99formal} P.~Wadler. \newblock A formal semantics of patterns in xslt, 1999. \bibitem{wood03containment} P.~Wood. \newblock Containment for xpath fragments under dtd constraints, 2003. \end{thebibliography}