S. Abiteboul and C. Beeri, The power of languages for the manipulation of complex values, The VLDB Journal, vol.12, issue.5, pp.727-794, 1995.
DOI : 10.1007/BF01354881

S. Abiteboul, P. Buneman, and D. Suciu, Data on the Web: From Relations to Semistructured Data and XML, 1999.

A. V. Aho, Y. Sagiv, and J. D. Ullman, Efficient optimization of a class of relational expressions, ACM Transactions on Database Systems, vol.4, issue.4, pp.435-454, 1979.
DOI : 10.1145/320107.320112

M. Arenas and L. Libkin, A normal form for XML documents, ACM Transactions on Database Systems, vol.29, issue.1, pp.195-232, 2004.
DOI : 10.1145/974750.974757

C. Beeri and M. Y. Vardi, The implication problem for data dependencies, ICALP, pp.73-85, 1981.
DOI : 10.1007/3-540-10843-2_7

M. Benedikt and J. Cheney, Schema-based independence analysis for XML updates, Proceedings of the VLDB Endowment, vol.2, issue.1, 2009.
DOI : 10.14778/1687627.1687635
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.2346

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

N. Bidoit and D. Colazzo, Testing XML constraint satisfiability, Electronic Notes in Theoretical Computer Science, vol.174, issue.6, pp.45-61, 2007.
DOI : 10.1016/j.entcs.2006.11.025
URL : http://doi.org/10.1016/j.entcs.2006.11.025

N. Bidoit, D. Colazzo, N. Malla, and M. Sahakyan, Projection based optimization for xml updates, 1st International Workshop on Schema Languages for XML, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00539717

N. Bidoit, D. Colazzo, N. Malla, and M. Sahakyan, Projection based optimization for xml updates, EDBT, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00539717

N. Bidoit, D. Colazzo, and F. Ulliana, Detecting xml query-update independence, Workshop on Formal Methods for Web Data Trust and Security, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00542526

N. Bidoit, D. Colazzo, and F. Ulliana, Detecting xml query-update independence, BDA, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00542526

P. V. Biron and A. Malhotra, XML Schema Part 2: Datatypes Second Edition, World Wide Web Consortium, 2004.

P. Buneman, Semistructured data, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '97, pp.117-121, 1997.
DOI : 10.1145/263661.263675

P. Buneman, S. B. Davidson, W. Fan, C. S. Hara, and W. C. Tan, Reasoning about keys for xml, DBPL, pp.133-148, 2001.
DOI : 10.1007/3-540-46093-4_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.6265

P. Buneman, S. B. Davidson, W. Fan, C. S. Hara, and W. C. Tan, Keys for XML, Computer Networks, vol.39, issue.5, pp.473-487, 2002.
DOI : 10.1016/S1389-1286(02)00223-2

P. Buneman and A. Ohori, Polymorphism and type inference in database programming, ACM Transactions on Database Systems, vol.21, issue.1, pp.30-76, 1996.
DOI : 10.1145/227604.227609
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.1626

L. Cardelli, A semantics of multiple inheritance, Information and Computation, vol.76, issue.2-3, pp.138-164, 1988.
DOI : 10.1016/0890-5401(88)90007-7

J. Cheney, Flux: functional updates for xml, ICFP, 2008.

J. Cheney, Regular Expression Subtyping for XML Query and Update Languages, ESOP, 2008.
DOI : 10.1007/978-3-540-78739-6_3
URL : http://arxiv.org/abs/0801.0714

J. Clark and M. Makoto, Relax NG specification

E. F. Codd, Further normalization of the data base relational model, IBM Research Report, 1971.

E. F. Codd, Relational completeness of data base sublanguages, Database Systems and IBM Research Report RJ 987, pp.65-98, 1972.

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, pp.4-5, 2006.
DOI : 10.1017/S0956796806005983

J. V. Den-bussche, D. V. Gucht, and S. Vansummeren, A crash course on database queries, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '07, pp.143-154, 2007.
DOI : 10.1145/1265530.1265551

J. V. Den-bussche and E. Waller, Polymorphic Type Inference for the Relational Algebra, Journal of Computer and System Sciences, vol.64, issue.3, pp.694-718, 2002.
DOI : 10.1006/jcss.2001.1812

W. Fan and L. Libkin, On XML integrity constraints in the presence of DTDs, Journal of the ACM, vol.49, issue.3, pp.368-406, 2002.
DOI : 10.1145/567112.567117

W. Fan and J. Siméon, Integrity constraints for XML, Journal of Computer and System Sciences, vol.66, issue.1, pp.254-291, 2003.
DOI : 10.1016/S0022-0000(02)00032-6

G. Ghelli, K. H. Rose, and J. Siméon, Commutativity analysis for XML updates, ACM Transactions on Database Systems, vol.33, issue.4, 2008.
DOI : 10.1145/1412331.1412341

A. L. Hors, P. L. Hégaret, L. Wood, G. Nicol, J. Robie et al., Document object model (dom), 2003.

R. Jelliffe, The Schematron: An XML structure validation language using patterns in trees

N. Klarlund, A. Møller, and M. I. Schwartzbach, The dsd schema language, Autom. Softw. Eng, vol.9, issue.3, 2002.
DOI : 10.7146/brics.v7i41.20208

N. Klarlund, T. Schwentick, and D. Suciu, XML: Model, Schemas, Types, Logics, and Queries, Logics for Emerging Applications of Databases, pp.1-41, 2003.
DOI : 10.1007/978-3-642-18690-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.2420

D. Maier, A. O. Mendelzon, and Y. Sagiv, Testing implications of data dependencies (abstract ), SIGMOD Conference, p.152, 1979.

A. Marian and J. Siméon, Projecting XML Documents, VLDB '03, 2003.
DOI : 10.1016/B978-012722442-8/50027-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.229

M. Murata, D. Lee, and M. Mani, Taxonomy of XML schema languages using formal language theory, Extreme Markup Languages, 2001.
DOI : 10.1145/1111627.1111631

L. Popa, A. Deutsch, A. Sahuguet, and V. Tannen, A chase too far, SIGMOD Conference, pp.273-284, 2000.

D. Raggett, Assertion Grammar. http://www.w3.org/People

R. Ramakrishnan and J. Gehrke, Database Management Systems. McGraw-Hill Science, 2002.

B. Thalheim, Dependencies in Relational Databases, 1991.
DOI : 10.1007/978-3-663-12018-6

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