Minimization of tree pattern queries, SIGMOD Record, vol.30, issue.2, pp.497-508, 2001. ,
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. ,
XPath satisfiability in the presence of DTDs, J. ACM, vol.55, issue.8, pp.1-8, 2008. ,
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
XML path language (XPath) 2.0, W3C candidate recommendation, 2006. ,
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
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
XML path language (XPath) version 1.0, W3C recommendation, 1999. ,
Automating the database schema evolution process, The VLDB Journal, vol.22, issue.1, pp.73-98, 2013. ,
Graceful database schema evolution: the prism workbench, Proc. VLDB Endow. 1, pp.761-772, 2008. ,
XML Schema part 0: Primer second edition, W3C recommendation, 2004. ,
XQuery in the browser, Proceedings of the 2008 ACM SIGMOD international conference on Management of data. SIGMOD '08, pp.1337-1340, 2008. ,
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
Eliminating dead-code from XQuery programs, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, pp.305-306, 2010. ,
XML reasoning made practical, ICDE'10: Proceedings of the 26th International Conference on Data Engineering, pp.1169-1172, 2010. ,
Inconsistent path detection for XML IDEs, Proceeding of the 33rd international conference on Software engineering. ICSE '11, pp.983-985, 2011. ,
Identifying query incompatibilities with evolving XML schemas, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming . ICFP '09, pp.221-230, 2009. ,
Impact of XML Schema Evolution, ACM Transactions on Internet Technology, vol.11, issue.1, pp.1-4, 2011. ,
DOI : 10.1145/1993083.1993087
On the analysis of cascading style sheets, WWW'12: Proceedings of the 21st World Wide Web Conference, pp.809-818, 2012. ,
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. ,
Efficient static analysis of XML paths and types (extended version), 2008. ,
Logic-based XPath optimization, DocEng'04: Proceedings of the 2004 ACM Symposium on Document Engineering, pp.211-219, 2004. ,
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. ,
Introduction to Automata Theory, Languages and Computability, 2000. ,
Projecting XML documents, Proceedings of the 29th international conference on Very large data bases -Volume 29. VLDB '03. VLDB Endowment, pp.213-224, 2003. ,
Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004. ,
Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005. ,
Design independent query interfaces, IEEE Trans. Knowl. Data Eng, vol.24, issue.10, pp.1819-1832, 2012. ,
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. ,