A. Abiteboul, Y. Amsterdamer, D. Deutch, T. Milo, and P. Senellart, Finding optimal probabilistic generators for XML collections, Proceedings of the 15th International Conference on Database Theory, ICDT '12, 2002.
DOI : 10.1145/2274576.2274591

URL : https://hal.archives-ouvertes.fr/hal-00765545

[. Amer-yahia, S. Cho, V. S. Laks, D. Lakshmanan, and . Srivastava, Minimization of tree pattern queries, SIGMOD, 2001.

N. Bbc-+-11-]-mohamed-amine-baazizi, D. Bidoit, N. Colazzo, M. Malla, and . Sahakyan, Projection for XML update optimization, EDBT, 2011.

M. Benedikt and J. Cheney, Schema-based independence analysis for XML updates, VLDB, 2009.
DOI : 10.14778/1687627.1687635

M. Benedikt and J. Cheney, Semantics, Types and Effects for XML Updates, DBPL, 2009.
DOI : 10.1145/1348250.1348255

M. Benedikt and J. Cheney, Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, vol.3, issue.1-2, 2010.
DOI : 10.14778/1920841.1920956

[. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen, Type-based XML projection, VLDB, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00152588

G. [. Benzaken, A. Castagna, and . Frisch, CDuce: an XML-centric generalpurpose language, ICFP, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00152619

[. Benedikt, Analysis of declarative updates, Proceedings of the 1st International Workshop on Data Semantics, DataSem '10, 2010.
DOI : 10.1145/1754239.1754259

[. Björklund, W. Gelade, M. Marquardt, and W. Martens, Incremental XPath evaluation, ICDT, 2009.

M. Benedikt and C. Koch, Interpreting Tree-to-Tree Queries, ICALP, p.182, 2006.
DOI : 10.1007/11787006_47

M. Benedikt and C. Koch, From XQuery to relational logics, ACM Transactions on Database Systems, vol.34, issue.4, 2009.
DOI : 10.1145/1620585.1620592

J. Geert, F. Bex, T. Neven, S. Schwentick, and . Vansummeren, Inference of concise regular expressions and DTDs, 2010.

[. Bidoit-tollu, D. Colazzo, and F. Ulliana, Detecting XML query-update independence, 2010.

[. Bidoit-tollu, D. Colazzo, and F. Ulliana, Detecting XML query-update independence, 2010.

N. Bidoit-tollu, D. Colazzo, and F. Ulliana, Type-based detection of XML query-update independence, Proceedings of the VLDB Endowment, vol.5, issue.9, p.2012
DOI : 10.14778/2311906.2311914

M. Chamberlin, D. Carey, D. Florescu, J. Kossmann, and . Robie, XQueryP: Programming with XQuery, 2006.

[. Cavalieri, G. Guerrini, and M. Mesiti, Updating XML schemas and associated documents through exup, 2011 IEEE 27th International Conference on Data Engineering, 2011.
DOI : 10.1109/ICDE.2011.5767951

D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani, Static analysis for path correctness of XML queries, Journal of Functional Programming, vol.16, issue.4&5, 2006.
DOI : 10.1017/S0956796806005983

J. Cheney, FLUX: FunctionaL Updates for XML, ICFP, 2008.

[. Cheney, XQuery Update analysis tools version 0, 2009.

. Draper, . Fankhauser, . Fernandez, . Malhotra, . Rose et al., XQuery 1.0 and XPath 2.0 Formal Semantics, 2010.

[. Dutertre and L. D. Moura, The Yices SMT solver, 2006.

[. Fan, M. N. Chee-yong-chan, and . Garofalakis, Secure XML querying with security views, Proceedings of the 2004 ACM SIGMOD international conference on Management of data , SIGMOD '04, 2004.
DOI : 10.1145/1007568.1007634

]. M. Fra05 and . Franceschet, XPathMark -An XPath benchmark for XMark generated data, XSym, 2005.

P. Genevès and N. Layaïda, XML reasoning solver user manual, 2008.

P. Genevès, N. Layaïda, and A. Schmitt, Efficient static analysis of xml paths and types. PLDI, 2007.

[. Ghelli, N. Onose, K. Rose, and J. Simeon, XML query optimization in the presence of side effects, Proceedings of the 2008 ACM SIGMOD international conference on Management of data , SIGMOD '08, 2008.
DOI : 10.1145/1376616.1376653

H. Grall, Deux critères de sécurité pour l'exécution de code mobile, Thése, École des Ponts ParisTech, 2003.

[. Ghelli, C. Ré, and J. Simèon, XQuery!: An XML Query Language with Side Effects, EDBT Workshops, 2006.
DOI : 10.1007/11896548_17

[. Ghelli, J. Kristoffer-høgsbro-rose, and . Siméon, Commutativity analysis for XML updates, ACM Transactions on Database Systems, vol.33, issue.4, 2008.
DOI : 10.1145/1412331.1412341

R. Goldman and J. Widom, Dataguides: Enabling query formulation and optimization in semistructured databases, VLDB, 1997.

J. Hidders, Satisfiability of XPath Expressions, DBPL, 2003.
DOI : 10.1007/978-3-540-24607-7_3

[. Hammerschmidt, M. Kempa, and V. Linnemann, On the Intersection of XPath Expressions, 9th International Database Engineering & Application Symposium (IDEAS'05), 2005.
DOI : 10.1109/IDEAS.2005.39

E. John, J. D. Hopcroft, and . Ullman, Introduction to Automata Theory, Languages and Computation, Second Edition, 2000.

[. Hosoya, J. Vouillon, and B. C. Pierce, Regular expression types for XML, ACM Trans. Program. Lang. Syst, vol.27, issue.1, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00009271

[. Junedi, P. Genevès, and N. Layaïda, XML query-update independence analysis revisited, Proceedings of the 2012 ACM symposium on Document engineering, DocEng '12, 2012.
DOI : 10.1145/2361354.2361375

URL : https://hal.archives-ouvertes.fr/hal-00734668

N. Klarlund and A. Moller, MONA version 1.4 user manual, BRICS, 2011.

[. Murata, D. Lee, M. Mani, and K. Kawaguchi, Taxonomy of XML schema languages using formal language theory, ACM Transactions on Internet Technology, vol.5, issue.4, pp.660-704, 2005.
DOI : 10.1145/1111627.1111631

J. [. Marian and . Siméon, Projecting XML Documents, VLDB, 2003.
DOI : 10.1016/B978-012722442-8/50027-6

G. Miklau and D. Suciu, Containment and equivalence for a fragment of XPath, Journal of ACM, 2004.

J. Pérez, M. Arenas, and C. Gutierrez, nSPARQL: A navigational language for RDF???, Web Semantics: Science, Services and Agents on the World Wide Web, vol.8, issue.4, 2010.
DOI : 10.1016/j.websem.2010.01.002

[. Papakonstantinou and V. Vianu, DTD inference for views of XML data, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '00, 2000.
DOI : 10.1145/335168.335173

. Robie, . Chamberlin, . Dyck, . Florescu, J. Milton et al., XQuery update facility 1.0, RS06] Mukund Raghavachari and Oded Shmueli. Conflicting XML updates EDBT, 2006.

D. Siméon, D. Chamberlin, S. Florescu, M. F. Boag, J. Fernández et al., XQuery 1.0: An XML query language. W3C recommendation, W3C, 2007.

A. [. Stockmeyer and . Meyer, Word problems requiring exponential time(Preliminary Report), Proceedings of the fifth annual ACM symposium on Theory of computing , STOC '73, 1973.
DOI : 10.1145/800125.804029

]. A. Swk-+-02, F. Schmidt, M. L. Waas, M. J. Kersten, I. Carey et al., XMark: A benchmark for XML data management, VLDB, 2002.

H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn, XML Schema Part 1: Structures Second Edition, World Wide Web Consortium, 2004.

S. G. Vorobyov, An improved lower bound for the elementary theories of trees, CADE, 1996.
DOI : 10.1007/3-540-61511-3_91