M. Arenas, P. Barceló, L. Libkin, and F. Murlak, Foundations of Data Exchange, 2014.
DOI : 10.1017/CBO9781139060158

M. Arenas, W. Fan, and L. Libkin, On the Complexity of Verifying Consistency of XML Specifications, SIAM Journal on Computing, vol.38, issue.3, pp.841-880, 2008.
DOI : 10.1137/050646895

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
URL : http://www.cs.toronto.edu/~libkin/papers/pods02a.ps.gz

M. Arenas and L. Libkin, XML data exchange: Consistency and query answering, J. ACM, vol.55, issue.2, 2008.

M. Benedikt, W. Fan, and F. Geerts, XPath satisfiability in the presence of DTDs, J. ACM, vol.55, issue.2, 2008.

H. Björklund, W. Martens, and T. Schwentick, Optimizing Conjunctive Queries over Trees Using Schema Information, Proc. MFCS 2008, pp.132-143, 2008.
DOI : 10.1007/978-3-540-85238-4_10

M. Boja?czyk, F. Murlak, and A. Witkowski, Containment of Monadic Datalog Programs via Bounded Clique-Width, Proc. ICALP 2015, pp.427-439, 2015.
DOI : 10.1007/978-3-662-47666-6_34

K. Ashok, P. M. Chandra, and . Merlin, Optimal implementation of conjunctive queries in relational data bases, Proc. STOC 1977, pp.77-90, 1977.

C. David, A. Gheerbrant, L. Libkin, and W. Martens, Containment of pattern-based queries over data trees, Proceedings of the 16th International Conference on Database Theory, ICDT '13, pp.201-212, 2013.
DOI : 10.1145/2448496.2448521
URL : https://hal.archives-ouvertes.fr/hal-00788621

C. David, P. Hofman, F. Murlak, and M. Pilipczuk, Synthesizing transformations from XML schema mappings, Proc. ICDT 2014, pp.61-71
URL : https://hal.archives-ouvertes.fr/hal-01854501

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033
URL : http://www.almaden.ibm.com/cs/people/lucian/papers/icdt03-lncs2572.pdf

R. Fagin, P. G. Kolaitis, L. Popa, and W. Tan, Composing schema mappings, ACM Transactions on Database Systems, vol.30, issue.4, pp.994-1055, 2005.
DOI : 10.1145/1114244.1114249

R. Fagin and M. Y. Vardi, The theory of data dependencies???a survey, Mathematics of Information Processing of Proceedings of Symposia in Applied Mathematics, pp.19-71, 1986.
DOI : 10.1090/psapm/034/846853

C. M. Gao, H. S. Sperberg-mcqueen, N. Thompson, D. Mendelsohn, M. Beech et al., W3C XML Schema Definition Language (XSD) 1.1, Part 1: Structures, 2009.

T. Gogacz and J. Marcinkowski, All???Instances Termination of Chase is Undecidable, Proc. ICALP 2014, pp.293-304, 2014.
DOI : 10.1007/978-3-662-43951-7_25

I. ,

, Reasoning About Integrity Constraints for Tree-structured Data 16 Tomasz Gogacz and Jerzy Marcinkowski. The hunt for a red spider: Conjunctive query determinacy is undecidable, Proc. LICS 2015, pp.281-292, 2015.

S. Hartmann and S. Link, More Functional Dependencies for XML, Proc. ADBIS 2003, pp.355-369, 2003.
DOI : 10.1007/978-3-540-39403-7_27

S. Hartmann, S. Link, and T. Trinh, Solving the Implication Problem for XML Functional Dependencies with Properties, Proc. WoLLIC 2010, pp.161-175, 2010.
DOI : 10.1007/978-3-642-13824-9_14

M. Kaminski and N. Francez, Finite-memory automata, Theoretical Computer Science, vol.134, issue.2, pp.329-36310, 1994.
DOI : 10.1016/0304-3975(94)90242-9

M. Kaminski and T. Tan, Tree Automata over Infinite Alphabets, Lecture Notes in Computer Science, vol.4800, pp.386-42310, 2008.
DOI : 10.1007/978-3-540-78127-1_21

, 21

G. Phokion and . Kolaitis, Schema mappings, data exchange, and metadata management, Proc. PODS 2005, pp.61-75, 2005.

M. Lenzerini, Data integration, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, pp.233-246, 2002.
DOI : 10.1145/543613.543644

G. Miklau and D. Suciu, Containment and equivalence for a fragment of XPath, Journal of the ACM, vol.51, issue.1, pp.2-45, 2004.
DOI : 10.1145/962446.962448

F. Neven and T. Schwentick, On the complexity of XPath containment in the presence of disjunction, DTDs, and variables, Logical Methods in Computer Science, vol.2, issue.3, pp.10-2168, 2006.
DOI : 10.2168/LMCS-2(3:1)2006

M. Niewerth and T. Schwentick, Reasoning About XML Constraints Based on XML-to-Relational Mappings, Proc. ICDT 2014, pp.72-83
DOI : 10.1145/1016028.1016029

M. Y. Vardi, Fundamentals of dependency theory, Theoretical Computer Science, pp.171-224, 1987.