Foundations of Data Exchange, 2014. ,
DOI : 10.1017/CBO9781139060158
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
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
XML data exchange: Consistency and query answering, J. ACM, vol.55, issue.2, 2008. ,
XPath satisfiability in the presence of DTDs, J. ACM, vol.55, issue.2, 2008. ,
Optimizing Conjunctive Queries over Trees Using Schema Information, Proc. MFCS 2008, pp.132-143, 2008. ,
DOI : 10.1007/978-3-540-85238-4_10
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
Optimal implementation of conjunctive queries in relational data bases, Proc. STOC 1977, pp.77-90, 1977. ,
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
Synthesizing transformations from XML schema mappings, Proc. ICDT 2014, pp.61-71 ,
URL : https://hal.archives-ouvertes.fr/hal-01854501
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
Composing schema mappings, ACM Transactions on Database Systems, vol.30, issue.4, pp.994-1055, 2005. ,
DOI : 10.1145/1114244.1114249
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
W3C XML Schema Definition Language (XSD) 1.1, Part 1: Structures, 2009. ,
All???Instances Termination of Chase is Undecidable, Proc. ICALP 2014, pp.293-304, 2014. ,
DOI : 10.1007/978-3-662-43951-7_25
,
, 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.
More Functional Dependencies for XML, Proc. ADBIS 2003, pp.355-369, 2003. ,
DOI : 10.1007/978-3-540-39403-7_27
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
Finite-memory automata, Theoretical Computer Science, vol.134, issue.2, pp.329-36310, 1994. ,
DOI : 10.1016/0304-3975(94)90242-9
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
Schema mappings, data exchange, and metadata management, Proc. PODS 2005, pp.61-75, 2005. ,
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
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
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
Reasoning About XML Constraints Based on XML-to-Relational Mappings, Proc. ICDT 2014, pp.72-83 ,
DOI : 10.1145/1016028.1016029
Fundamentals of dependency theory, Theoretical Computer Science, pp.171-224, 1987. ,