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
Minimization of tree pattern queries, SIGMOD, 2001. ,
Projection for XML update optimization, EDBT, 2011. ,
Schema-based independence analysis for XML updates, VLDB, 2009. ,
DOI : 10.14778/1687627.1687635
Semantics, Types and Effects for XML Updates, DBPL, 2009. ,
DOI : 10.1145/1348250.1348255
Destabilizers and independence of XML updates, Proceedings of the VLDB Endowment, vol.3, issue.1-2, 2010. ,
DOI : 10.14778/1920841.1920956
Type-based XML projection, VLDB, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00152588
CDuce: an XML-centric generalpurpose language, ICFP, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00152619
Analysis of declarative updates, Proceedings of the 1st International Workshop on Data Semantics, DataSem '10, 2010. ,
DOI : 10.1145/1754239.1754259
Incremental XPath evaluation, ICDT, 2009. ,
Interpreting Tree-to-Tree Queries, ICALP, p.182, 2006. ,
DOI : 10.1007/11787006_47
From XQuery to relational logics, ACM Transactions on Database Systems, vol.34, issue.4, 2009. ,
DOI : 10.1145/1620585.1620592
Inference of concise regular expressions and DTDs, 2010. ,
Detecting XML query-update independence, 2010. ,
Detecting XML query-update independence, 2010. ,
Type-based detection of XML query-update independence, Proceedings of the VLDB Endowment, vol.5, issue.9, p.2012 ,
DOI : 10.14778/2311906.2311914
XQueryP: Programming with XQuery, 2006. ,
Updating XML schemas and associated documents through exup, 2011 IEEE 27th International Conference on Data Engineering, 2011. ,
DOI : 10.1109/ICDE.2011.5767951
Static analysis for path correctness of XML queries, Journal of Functional Programming, vol.16, issue.4&5, 2006. ,
DOI : 10.1017/S0956796806005983
FLUX: FunctionaL Updates for XML, ICFP, 2008. ,
XQuery Update analysis tools version 0, 2009. ,
XQuery 1.0 and XPath 2.0 Formal Semantics, 2010. ,
The Yices SMT solver, 2006. ,
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
XPathMark -An XPath benchmark for XMark generated data, XSym, 2005. ,
XML reasoning solver user manual, 2008. ,
Efficient static analysis of xml paths and types. PLDI, 2007. ,
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
Deux critères de sécurité pour l'exécution de code mobile, Thése, École des Ponts ParisTech, 2003. ,
XQuery!: An XML Query Language with Side Effects, EDBT Workshops, 2006. ,
DOI : 10.1007/11896548_17
Commutativity analysis for XML updates, ACM Transactions on Database Systems, vol.33, issue.4, 2008. ,
DOI : 10.1145/1412331.1412341
Dataguides: Enabling query formulation and optimization in semistructured databases, VLDB, 1997. ,
Satisfiability of XPath Expressions, DBPL, 2003. ,
DOI : 10.1007/978-3-540-24607-7_3
On the Intersection of XPath Expressions, 9th International Database Engineering & Application Symposium (IDEAS'05), 2005. ,
DOI : 10.1109/IDEAS.2005.39
Introduction to Automata Theory, Languages and Computation, Second Edition, 2000. ,
Regular expression types for XML, ACM Trans. Program. Lang. Syst, vol.27, issue.1, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00009271
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
MONA version 1.4 user manual, BRICS, 2011. ,
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
Projecting XML Documents, VLDB, 2003. ,
DOI : 10.1016/B978-012722442-8/50027-6
Containment and equivalence for a fragment of XPath, Journal of ACM, 2004. ,
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
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
XQuery update facility 1.0, RS06] Mukund Raghavachari and Oded Shmueli. Conflicting XML updates EDBT, 2006. ,
XQuery 1.0: An XML query language. W3C recommendation, W3C, 2007. ,
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
XMark: A benchmark for XML data management, VLDB, 2002. ,
XML Schema Part 1: Structures Second Edition, World Wide Web Consortium, 2004. ,
An improved lower bound for the elementary theories of trees, CADE, 1996. ,
DOI : 10.1007/3-540-61511-3_91