A. Serge, B. Peter, and S. Et-dan, Data on the Web: From Relations to Semistructured Data and XML, 1999.

. Al05b, A. Marcelo, and L. Leonid, « XML data exchange: consistency and query answering, Li [Li05], pp.13-24

A. Noga, M. Tova, N. Frank, S. Dan, and V. Victor, « XML with Data Values: Typechecking Revisited, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2001.

A. Bogdan, W. Chiew, T. Et-yannis, and V. , « STBenchmark: towards a benchmark for mapping systems, PVLDB, vol.1, issue.1, pp.230-244, 2008.

B. Bbc-+-11b-]-mohamed-amine, B. Nicole, C. Dario, M. Noor, and S. Et-marina, « Projection for XML update optimization, pp.307-318, 2011.

B. Michael, B. Angela, F. Sergio, and V. Et-avinash, « Verification of Tree Updates for Optimization, pp.379-393, 2005.

B. Michael, C. James, B. Michael, and C. James, « Schema-Based Independence Analysis for XML Updates, Destabilizers and Independence of XML Updates, pp.61-72, 2009.

B. Michele, C. Dario, C. Silvia, and M. Et-damiano, « A type system for Discretionary Access Control, Mathematical Structures in Computer Science, vol.19, issue.4 7, pp.839-875, 2009.

B. Véronique, C. Giuseppe, C. Dario, and N. Kim, « Type-Based XML Projection, International Conference on Very Large Data Bases (VLDB), p.73, 2006.

B. Véronique, C. Giuseppe, C. Dario, and N. Kim, « Optimizing XML querying using type-based document projection ». CoRR, abs/1104, p.30, 2011.

B. Michael, C. Yong, C. Wenfei, F. Rajeev, R. Shihui et al., « DTD-Directed Publishing with Attribute Translation Grammars, International Conference on Very Large Data Bases, 2002.

]. S. Bcl-+-05, B. Bressan, Z. Catania, Y. Lacroix, and E. A. Li, Accelerating queries by pruning XML documents, ». Data Knowl. Eng, vol.54, issue.2 11, pp.211-240, 2005.

B. Nicole, C. Dario, M. Noor, and S. Et-marina, « Optimisation de Mises a jour XML par typage et projection, p.9, 2009.

B. Nicole, C. Dario, M. Noor, and S. .. Et-marina, « Projection based optimization for XML updates. ». Dans 1st International Workshop on Schema Languages for XML (X-Schemas) year =, 2009.

B. Nicole, C. Dario, and U. Federico, « Detecting XML Query- Update Independence, 25èmes Journées Bases de Données Avancées, 2010.

B. Dominic, E. Stephan, H. Fabian, K. Odej, M. Volker et al., PACTs: a programming model and execution framework for web-scale analytical processing, ACM Symposium on Cloud Computing (SoCC) XPath satisfiability in the presence of DTDs, p.17, 2008.

B. Patrick and .. «-representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto, Logic Journal of the IGPL, vol.8, issue.3 7, 2000.

B. Denilson, L. Gregory, and S. Andrew, « Efficient Incremental Validation of XML Documents After Composite Updates, Database and XML Technologies, 4th International XML Database Symposium Proceedings, pp.107-121, 2006.

V. Paul, . Biron, M. «. Ashok, and .. Xml-w3c-recommendation, Schema Part 2: Datatypes Second Edition ». Rapport technique, World Wide Web Consortium, 2004.

B. Angela, M. Giansalvatore, P. Alessandro, R. Salvatore, S. Et-gianvito et al., « Schema mapping verification: the spicy way, de ACM International Conference Proceeding Series, pp.85-96, 2008.

G. Jan, B. Frank, N. , J. Van-den, and . Bussche, « DTDs versus XML Schema: A Practical Study, Proceedings of the Seventh International Workshop on the Web and Databases, pp.79-84, 2004.

G. Jan, B. Frank, N. Thomas, S. Karl, and T. Dayal, « Inference of Concise DTDs from XML Data, DWL + 06], pp.115-126

C. Don, F. Peter, F. Daniela, M. Massimo, and R. Et-jonathan, « XML Query Use Cases ». Rapport technique, World Wide Web Consortium, mars 2007, W3C Working Group Note, vol.13, p.70

C. Jérôme, G. Rémi, L. Aurélien, and N. Et-joachim, « Efficient inclusion checking for deterministic tree automata and XML Schemas, Inf. Comput, vol.207, issue.11, pp.1181-1208, 2009.

C. Dario, G. Giovanna, M. Marco, O. Barbara, and W. Emmanuel, Document and Schema XML Updates, Changqing LI et Tok Wang LING, éditeurs, Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies. IGI Global, 2010.

C. Dario, G. Giorgio, M. Paolo, and S. Et-carlo, « Static analysis for path correctness of XML queries-5), J. Funct. Program, vol.16, issue.14, pp.621-661, 2006.

C. Dario, G. Giorgio, P. Luca, and S. Et-carlo, « Linear inclusion for XML regular expression types, ACM Conference on Information and Knowledge Management (CIKM), pp.64-66, 2009.

C. Dario, G. Giorgio, and S. Et-carlo, « Efficient asymmetric inclusion between regular expression types, Database Theory -ICDT, International Conference, pp.51-58, 2009.

C. Dario, G. Giorgio, and S. Carlo, « Efficient inclusion for a class of XML types with interleaving and counting », Inf. Syst, vol.34, issue.58, pp.643-656, 2009.

C. Dario, G. Giorgio, and S. Et-carlo, Asymmetric Inclusion Between Regular Expression Types With Interleaving And Counting, pp.51-58, 2011.

C. Dario, G. Giorgio, and S. Et-carlo, « Schemas for Efficient and safe XML processing, 24th International Conference on Data Engineering, ICDE. IEEE, p.7, 2011.

C. «. James and .. , FLUX: functional updates for XML, ACM SIGPLAN international conference on Functional programming (ICFP), p.73, 2008.

C. Byron, What are real DTDs like?, pp.43-48, 2002.

]. D. Col04, . Colazzo, X. Path-correctness-for, and . Queries, Characterization and Static Type Checking, Dip. di Informatica, vol.4, issue.33, pp.37-39, 2004.

R. Di, C. François, P. Et-didier, R. Pawel, U. Éditeur et al., « An efficient algorithm for XML type projection, Subtyping Recursive Types Modulo Associative Commutative Products. de Lecture Notes in Computer Science Typechecking Queries for Maintaining Schema Mappings in XML P2P Databases Proc. of (PLAN-X)CS05b] Dario COLAZZO et Carlo SARTIANI. « Mapping Maintenance in XML P2P Databases ». Dans International Symposium on Database Programming Languages International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming 52 [CS09] Dario COLAZZO et Carlo SARTIANI. « Detection of corrupted schema mappings in XML data integration systemsCS11] Dario COLAZZO et Carlo SARTIANI. « Precision and Complexity of XQuery Type Inference . ». Dans International ACM SIGPLAN Conference on Principles and Practice of Declarative ProgrammingCT06] Laura CHITICARIU et Wang Chiew TAN. « Debugging Schema Mappings with Routes. ». Dans Dayal et al. [DWL + 06], pp.179-193, 2005.

D. Silvano, L. Denis, and M. Et-charles, « A logic you can count on, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004.

F. Wenfei and B. Philip, « Information preserving XML schema embedding », ACM Trans. Database Syst, vol.33, issue.1 3, 2008.

F. Wenfei, C. Gao, B. Philip, F. Wenfei, C. Yong et al., « Secure XML Querying with Security Views 74 [Feg10] Leonidas FEGARAS. « A Schema-Based Translation of XQuery Updates, Querying xml with update syntax ACM SIGMOD International Conference on Management of Data, p.22, 2004.

F. Ariel, P. G. Kolaitis, R. J. Miller, W. Chiew, and T. , « Peer data exchange, Li [Li05], pp.160-171

F. Marc, A. Y. Levy, D. Todd, .. Millstein, F. Nathan et al., « A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice, Navigational Plans for Data Integration de CEUR Workshop Proceedings Programming Language Technologies for XML (PLAN-X), informal proceedings 52 [Fra05] M. FRANCESCHET. « XPathMark -An XPath benchmark for XMark generated data Database Symposium, LNCS n. 3671, pp.31-52, 1999.

F. Mary, . Fernandez, and S. Dan, « Optimizing Regular Path Expressions Using Graph Schemas, International Conference on Data Engineering (ICDE), 1998.

F. Wenfei, J. Xu, Y. Jianzhong, L. Bolin, D. Lu et al., « Query translation from XPath to SQL in the presence of recursive DTDs », VLDB J, vol.18, issue.4 3, pp.857-883, 2009.

G. Giorgio, C. Dario, S. Et-carlo, A. Marcelo, I. Michael et al., « Efficient Inclusion for a Class of XML Types with Interleaving and Counting, Lecture Notes in Computer Science, vol.4797, issue.6, pp.231-245, 2007.

G. Giorgio, C. Dario, S. Et-carlo, G. James, . Shana-han et al., « Linear time membership in a class of regular expressions with interleaving and counting, pp.389-398, 2008.

G. Wouter, G. Marc, and M. Et-wim, « Regular Expressions with Counting: Weak versus Strong Determinism, Rastislav KRÁLOVIC et Damian NIWINSKI, éditeurs, MFCS, pp.369-381, 2009.

G. Wouter, M. Wim, and N. Frank, « Optimizing Schema Languages for XML: Numerical Constraints and Interleaving, Thomas SCHWENTICK et Dan SUCIU, éditeurs, Proceedings of the 11th International Conference on Database Theory -ICDT 2007, pp.269-283, 2007.

V. Andrew, . Goldberg, A. Stefan, I. Lars, . Éditeurs et al., « Recent Developments in Maximum Flow Algorithms (Invited Lecture), Lecture Notes in Computer Science, vol.1432, pp.1-10, 1998.

G. Giorgio, K. Høgsbro, R. Et-jérôme, and S. .. , Commutativity Analysis in XML Update Languages, pp.374-388, 2007.

G. Giorgio, K. Høgsbro, R. Et-jérôme, and S. , Commutativity analysis for XML updates », ACM Trans. Database Syst, vol.33, issue.22, p.70, 2008.

G. Torsten, M. Van, K. Et-jens, and T. , « Staircase Join: Teach a Relational DBMS to Watch its (Axis) Steps, 2003.

M. A. Hernández, H. Howard, P. Lucian, F. Ariel, R. J. Miller et al., Creating Nested Mappings with Clio, 2007 IEEE 23rd International Conference on Data Engineering, pp.1487-1488, 2007.
DOI : 10.1109/ICDE.2007.369046

Y. Alon, Z. G. Halevy, . Ives, M. Peter, T. Et-igor et al., data management infrastructure for semantic web applications, Proceedings of the Twelfth International World Wide Web Conference, pp.556-567, 2003.

H. «. Dag, .. Haruo, H. Benjamin, C. P. Xduce, and .. , A statically typed XML processing language, The Inclusion Problem for Regular Expressions 4th International Conference, LATA The Complexity of Equivalence Problems for Commutative Grammars ». Information and ControlKil10] Pekka KILPELÄINEN. « Checking determinism of XML Schema content models in optimal time ». Informat. Systems, pp.309-320117, 1985.

M. Gabriel, . Kuper, S. Jérôme, X. Subsumption-for, . Van-den et al., « Regular Expressions with Numerical Occurrence Indicators -preliminary results 52 [KT07] Pekka KILPELÄINEN et Rauno TUHKANEN. « One-unambiguity of regular expressions with numeric occurrence indicators, Kus00] Nicholas KUSHMERICK. « Wrapper verification. ». World Wide WebLi05] Chen LI, éditeur. Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.331-345, 1973.

M. Robert, K. Bedoor, . Alshebli, L. Quoc, N. Hoa et al., « Mapping Maintenance for Data Integration Systems, BJH + 05], pp.1018-1030

M. Makoto, L. Dongwon, M. Murali, and K. Et-kohsuke, « Taxonomy of XML schema languages using formal language theory, ». ACM Trans. Internet Techn, vol.5, issue.4 3, pp.660-704, 2005.

M. Sergey, R. Erhard, A. Philip, . Bernstein, Y. Rondo-alon et al., A Programming Platform for Generic Model Management, pp.193-204, 2003.

A. J. Mayer, J. Larry, . Stockmeyer, .. Word-problems, J. Marian et al., The Complexity of Word Problems - This Time with Interleaving, Projecting XML Documents. ». Dans VLDB '03, pp.293-311, 1994.
DOI : 10.1006/inco.1994.1098

P. Pv-]-yannis and V. Victor, « Incremental Validation of XML Documents, Database Theory -ICDT, International Conference, 2003.

S. Luc and V. Victor, « Validating Streaming XML Documents, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002.

A. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu et al., A Benchmark for XML Data Management, pp.974-985, 2002.

T. «. Igor and .. , Semantic Data Sharing with a Peer Data Management System, p.33, 2004.

H. S. Thompson, B. David, M. Murray, M. Noah, and .. W3c-recommendation, « XML Schema Part 1: Structures Second Edition ». Rapport technique, World Wide Web Consortium, Igor TATARINOV et Alon Y. HALEVY. « Efficient Query Reformulation in Peer-Data Management Systems. ». Dans SIGMOD Conference, pp.51-539, 2004.

U. Federico, « A Formal Study for a Type System for XQuery Optimization

D. Jeffrey and .. Ullman, Principles of Database and Knowledge-Base Systems, Volume I, p.31, 1988.

V. Yannis, R. J. Miller, and P. Et-lucian, « Preserving mapping consistency under schema changes », W3C XML Query (XQuery) ». http://www.w3.org, pp.274-293, 2004.

X. Cong, Y. Lucian, and P. , 3, 32 [xquc] « XQuery 1.0 and XPath 2.0 Formal Semantics, XQuery 1.0: An XML Query Language Semantic Adaptation of Schema Mappings when Schemas Evolve Böhm et al. [BJH + 05], pp.22-1006, 2008.