A. , S. Cho, S. Lakshmanan, L. V. And-srivastava, and D. , Minimization of tree pattern queries, SIGMOD Record, vol.30, issue.2, pp.497-508, 2001.

B. , E. Genev-`-esgenev-`-genev-`-es, P. Laya¨idalaya¨ida, N. And, and A. Schmitt, Query reasoning on trees with types, interleaving and counting, IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.718-723, 2011.

B. , M. Fan, W. And-geerts, and F. , XPath satisfiability in the presence of DTDs, J. ACM, vol.55, issue.8, pp.1-8, 2008.

B. , V. Castagna, G. Colazzo, D. And-nguy?ennguy?-nguy?en, and K. , Type-based XML projection, Proceedings of the 32nd international conference on Very large data bases. VLDB '06. VLDB Endowment, pp.271-282, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00152588

B. , A. Boag, S. Chamberlin, D. Fern´andezfern´-fern´andez, M. F. Kay et al., XML path language (XPath) 2.0, W3C candidate recommendation, 2006.

C. , M. W. Euzenat, J. Genev-`-esgenev-`-genev-`-es, P. And-laya¨idalaya¨ida, and N. , SPARQL query containment under RDFS entailment regime, IJCAR: Proceedings of the 6th International Joint Conference on Automated Reasoning, pp.134-148, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00691610

C. , M. W. Euzenat, J. Genev-`-esgenev-`-genev-`-es, P. And-laya¨idalaya¨ida, and N. , SPARQL query containment under SHI axioms, AAAI: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00691638

C. , J. And-derose, and S. , XML path language (XPath) version 1.0, W3C recommendation, 1999.

C. , C. Moon, H. J. Deutsch, A. And-zaniolo, and C. , Automating the database schema evolution process, The VLDB Journal, vol.22, issue.1, pp.73-98, 2013.

C. , C. A. Moon, H. J. And-zaniolo, and C. , Graceful database schema evolution: the prism workbench, Proc. VLDB Endow. 1, pp.761-772, 2008.

F. , D. C. And-walmsley, and P. , XML Schema part 0: Primer second edition, W3C recommendation, 2004.

F. , G. Kossmann, D. Kraska, T. Pilman, M. And-florescu et al., XQuery in the browser, Proceedings of the 2008 ACM SIGMOD international conference on Management of data. SIGMOD '08, pp.1337-1340, 2008.

P. Genev-`-esgenev-`-genev-`-es and N. And-laya¨idalaya¨ida, A system for the static analysis of XPath, ACM Transactions on Information Systems, vol.24, issue.4, pp.475-502, 2006.
DOI : 10.1145/1185877.1185882

P. Genev-`-esgenev-`-genev-`-es and N. And-laya¨idalaya¨ida, Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, pp.305-306, 2010.

P. Genev-`-esgenev-`-genev-`-es and N. And-laya¨idalaya¨ida, XML reasoning made practical, ICDE'10: Proceedings of the 26th International Conference on Data Engineering, pp.1169-1172, 2010.

P. Genev-`-esgenev-`-genev-`-es and N. And-laya¨idalaya¨ida, Inconsistent path detection for XML IDEs, Proceeding of the 33rd international conference on Software engineering. ICSE '11, pp.983-985, 2011.

P. Genev-`-esgenev-`-genev-`-es, N. Laya¨idalaya¨ida, and V. And-quint, Identifying query incompatibilities with evolving XML schemas, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming . ICFP '09, pp.221-230, 2009.

P. Genev-`-esgenev-`-genev-`-es, N. Laya¨idalaya¨ida, and V. And-quint, Impact of XML Schema Evolution, ACM Transactions on Internet Technology, vol.11, issue.1, pp.1-4, 2011.
DOI : 10.1145/1993083.1993087

P. Genev-`-esgenev-`-genev-`-es, N. Laya¨idalaya¨ida, and V. And-quint, On the analysis of cascading style sheets, WWW'12: Proceedings of the 21st World Wide Web Conference, pp.809-818, 2012.

P. Genev-`-esgenev-`-genev-`-es, N. Laya¨idalaya¨ida, . And, and A. Schmitt, Efficient static analysis of XML paths and types, Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. PLDI '07, pp.342-351, 2007.

P. Genev-`-esgenev-`-genev-`-es, N. Laya¨idalaya¨ida, . And, and A. Schmitt, Efficient static analysis of XML paths and types (extended version), 2008.

P. Genev-`-esgenev-`-genev-`-es, . And, and J. Vion-dury, Logic-based XPath optimization, DocEng'04: Proceedings of the 2004 ACM Symposium on Document Engineering, pp.211-219, 2004.

G. , N. Genev-`-esgenev-`-genev-`-es, P. And-laya¨idalaya¨ida, and N. , Parametric polymorphism and semantic subtyping: the logical connection, ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, pp.107-116, 2011.

H. , J. E. Motwani, R. Rotwani, A. Ullman, and J. D. , Introduction to Automata Theory, Languages and Computability, 2000.

M. , A. And, and J. Siméonsim´siméon, Projecting XML documents, Proceedings of the 29th international conference on Very large data bases -Volume 29. VLDB '03. VLDB Endowment, pp.213-224, 2003.

M. , G. And, and D. Suciu, Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004.

M. , M. Lee, D. Mani, M. And-kawaguchi, and K. , Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005.

T. , A. Winslett, M. Chodpathumwan, Y. And-gibbons, and A. , Design independent query interfaces, IEEE Trans. Knowl. Data Eng, vol.24, issue.10, pp.1819-1832, 2012.

T. , B. Q. Bhowmick, S. S. And-dyreson, and C. , Sinbad: towards structure-independent querying of common neighbors in xml databases, Proceedings of the 17th international conference on Database Systems for Advanced Applications -Volume Part I. DASFAA'12, pp.156-171, 2012.