?. Soit, La projection temporelle de ? sur un instant t??(r), notée Snap, est le document statique d défini par : d=( r, ? T (?,t) (?), ? |T (?,t) ) avec T (?, t)={i | t??

?. Sens, Cette preuve se fait de manière identique à la preuve du cas précédent

K. Soit and . Id, -projecteur construit comme défini dans la lemme 4, alors K est correct pour la préévaluation de u relativement à t
URL : https://hal.archives-ouvertes.fr/hal-00619933

. La-preuve-du, Théorème 3 s'appuie sur la correction de l'inférence des chemins pour les mises à jour énoncée par le lemme 4. Etant donné l'id-projecteur K u défini dans ce lemme, il suffit de démontrer que K u ? K(t, ?) et d'

K. Afin-de-démontrer and ?. , pi) une projection pour les mises à jour à base des path-projecteurs. Cela permet de faire le lien, d'une part avec K u qui est défini à partir de path-projecteurs et d'autre part avec K(t, ?) extrait du tri-projecteur. Nous montrons que K u ? L(t, pi) puis que L(t, pi) = K(t, ?) pour déduire que K u ? K(t, ?) Afin de faciliter la preuve de L(t, pi) = K(t, ?), nous considérons une étape supplémentaire qui consiste à démontrer que L(t, pi) = K * (t, ? * ) où ? * est un tri-projecteur relaxé pour lequel la propriété de disjonction n'est pas requise et K * (t, ? * ) est une relaxation de la projection K(t, ?), nous définissons L(t

. Cette-règle-implique and . Qu, en posant ? k?1 (j)=a[I 1 · i · I 2 ], avec j=Parent(t, {i}) on a ? k (j)=a[I 1 · I 2

B. Mohamed-amine, N. Baazizi, D. Bidoit, N. Colazzo, M. Malla et al., Projection for XML update optimization Models and issues in data stream systems, PODS, vol.11, issue.11, pp.1-16, 2002.

M. Benedikt, A. Bonifati, S. Flesca, and A. Vyas, Adding updates to xquery : Semantics, optimization, and static analysis, 2005.

N. Mohamed-amine-baazizi, D. Bidoit-tollu, and . Colazzo, Efficient encoding of temporal xml documents, TIME, pp.15-22, 2011.

M. Benedikt and J. Cheney, Semantics, Types and Effects for XML Updates, Lecture Notes in Computer Science, vol.17, issue.2, pp.1-17, 2009.
DOI : 10.1145/1348250.1348255
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.9410

V. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen, Typebased XML projection, VLDB Optimizing xml querying using type-based document projection, p.2079, 2006.

A. Bouchou, M. Cheriat, D. Halfeld-ferrari, M. A. Laurent, M. A. Lima et al., Efficient constraint validation for updated xml database, Informatica (Slovenia), issue.3, pp.31-285, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00461221

S. Bressan, B. Catania, Z. Lacroix, Y. Li, and A. Maddalena, Accelerating queries by pruning XML documents, Data & Knowledge Engineering, vol.54, issue.2, pp.201-210, 2001.
DOI : 10.1016/j.datak.2004.12.003

A. Peter, T. Boncz, M. Grust, S. M. Van-keulen, J. Rittinger et al., Monetdb/xquery : a fast xquery processor powered by a relational engine, SIGMOD Conference, pp.479-490, 2006.

S. Peter-buneman, K. Khanna, W. Tajima, and . Tan, Archiving scientific data, ACM Transactions on Database Systems, vol.29, issue.1, pp.2-42, 2004.
DOI : 10.1145/974750.974752

N. Bidoit and M. Objois, SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), pp.35-46, 2007.
DOI : 10.1109/TIME.2007.60

Z. Bar-yossef, M. Fontoura, and V. Josifovski, On the memory requirements of XPath evaluation over XML streams, PODS (Alin Deutsch, pp.177-188, 2004.

[. Cobéna, T. Abdessalem, and Y. Hinnach, A comparative study for XML change detection, Institut National de Recherche en Informatique et en Automatique, 2002.

G. Cobena, S. Abiteboul, and A. Marian, Detecting changes in XML documents, Proceedings 18th International Conference on Data Engineering, pp.41-52, 2002.
DOI : 10.1109/ICDE.2002.994696
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5474

S. Sudarshan, S. Chawathe, J. Abiteboul, and . Widom, Managing historical semistructured data, Theory and Practice of Object Systems, vol.5, issue.3, pp.143-162, 1999.

F. Cavalieri, G. Guerrini, and M. Mesiti, Dynamic reasoning on XML updates, Proceedings of the 14th International Conference on Extending Database Technology, EDBT/ICDT '11, pp.165-176, 2011.
DOI : 10.1145/1951365.1951387
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.428.6624

[. Combi, B. Oliboni, and E. Quintarelli, A Graph-Based Data Model to Represent Transaction Time in Semistructured Data, Lecture Notes in Computer Science, vol.3180, pp.559-568, 2004.
DOI : 10.1007/978-3-540-30075-5_54

J. Chomicki and D. Toman, Time in database systems, 2005.

V. J. Shu-yao-chien, C. Tsotras, and . Zaniolo, Version management of xml documents, Lecture Notes in Computer Science, pp.184-200, 1997.

C. E. Dyreson, M. H. Böhlen, and C. S. Jensen, Capturing and querying multiple aspects of semistructured data, VLDB'99, Proceedings of 25th International Conference on Very Large Data Bases, 1999.

F. Mary, . Fernández-philippe, and . Michiels, Jérôme Siméon, and Roel Vercammen , Optimizing sorting and duplicate elimination in xquery path expressions, Lecture Notes in Computer Science, vol.3588, pp.554-563, 2005.

[. Gauwin, Flux xml, requêtes xpath et automates, 2009.

[. Gottlob, C. Koch, and R. Pichler, Efficient algorithms for processing xpath queries, pp.95-106, 2002.
DOI : 10.1145/1071610.1071614
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.4205

G. Gottlob, C. Koch, R. Pichler, and L. Segoufin, The complexity of XPath query evaluation and XML typing, Journal of the ACM, vol.52, issue.2, pp.284-335, 2005.
DOI : 10.1145/1059513.1059520

W. Gelade, W. Martens, and F. Neven, Optimizing Schema Languages for XML: Numerical Constraints and Interleaving, SIAM Journal on Computing, vol.38, issue.5, 2007.
DOI : 10.1137/070697367
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4920

O. Gauwin and J. Niehren, Streamable Fragments of Forward XPath, Lecture Notes in Computer Science, vol.75, issue.7, pp.3-15, 2011.
DOI : 10.1007/11965893_1
URL : https://hal.archives-ouvertes.fr/inria-00442250

[. Grandi, Introducing an annotated bibliography on temporal and evolution aspects in the World Wide Web, ACM SIGMOD Record, vol.33, issue.2, pp.84-86, 2004.
DOI : 10.1145/1024694.1024709

[. Ghelli, C. Re, J. Siméon, and !. Xquery, XQuery!: An XML Query Language with Side Effects, Lecture Notes in Computer Science, vol.4254, pp.178-191, 2006.
DOI : 10.1007/11896548_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.588

[. Ghelli, J. Kristoffer-høgsbro-rose, and . Siméon, Commutativity analysis in XML update languages, ICDT, 2007.

]. D. Gs03a, R. T. Gao, and . Snodgrass, Commutativity analysis for XML updates Syntax, semantics, and query evaluation of the txquery temporal xml query language, ACM Trans. Database Syst, vol.33, issue.4, 2003.

[. Gao and R. T. Snodgrass, Temporal Slicing in the Evaluation of XML Queries, pp.632-643, 2003.
DOI : 10.1016/B978-012722442-8/50062-8

S. Kato and . Hidaka, Rewriting xquery to avoid redundant expressions based on static emulation of xml store, 2009.

A. Marian, S. Abiteboul, G. Cobena, and L. Mignet, Changecentric management of versions in an xml warehouse, pp.581-590, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01124669

[. Marx and C. Xpath, Conditional XPath, ACM Transactions on Database Systems, vol.30, issue.4, pp.929-959, 2005.
DOI : 10.1145/1114244.1114247

M. Marx and M. De-rijke, Semantic characterizations of navigational XPath, ACM SIGMOD Record, vol.34, issue.2, pp.41-46, 2005.
DOI : 10.1145/1083784.1083792

A. O. Mendelzon, F. Rizzolo, and A. A. Vaisman, Indexing Temporal XML documents, pp.216-227, 2004.
DOI : 10.1016/B978-012088469-8.50022-X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9098

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

[. Olteanu, Forward node-selecting queries over trees, ACM Transactions on Database Systems, vol.32, issue.1, 2007.
DOI : 10.1145/1206049.1206052
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7568

[. Peters, Change Detection in XML Trees : a Survey, 2005.

J. Phm-+-05-]-wim-le-page, P. Hidders, R. Michiels, and . Vercammen, On the expressive power of node construction in, pp.85-90, 2005.

[. Rizzolo and A. A. Vaisman, Temporal XML: modeling, indexing, and query processing, VLDB Journal : Very Large Data Bases, pp.1179-1212, 2008.
DOI : 10.1007/s00778-007-0058-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.664.9778

[. Sahakyan, Main memory xml update optimization : algorithms and experiments, 2011.

J. Song and . Jaja, Archiving temporal web information : Organization of web contents for fast access and compact storage, 2008.

T. Richard, H. Snodgrass, and . Kucera, Rationale for a temporal extension to sql, The TSQL2 Temporal Query Language, pp.3-18, 1995.

]. A. Swk-+-02, F. Schmidt, M. L. Waas, M. J. Kersten, I. Carey et al., XMark : A benchmark for XML data management, 2002.

F. Walter and . Tichy, Rcsa system for version control, Softw. Pract. Exper, vol.15, issue.7, pp.637-654, 1985.

[. Toman, Point-based temporal extensions of SQL and their efficient implementation , Temporal Databases : Research and Practice, Lecture Notes in Computer Science, vol.1399, 1998.

I. Tatarinov, S. Viglas, K. S. Beyer, J. Shanmugasundaram, E. J. Shekita et al., Storing and querying ordered XML using a relational database system, Proceedings of the 2002 ACM SIGMOD international conference on Management of data , SIGMOD '02, pp.204-215, 2002.
DOI : 10.1145/564691.564715
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5927

[. Wang and C. Zaniolo, Temporal queries and version management in XML-based document archives, Data & Knowledge Engineering, vol.65, issue.2, 2008.
DOI : 10.1016/j.datak.2007.08.002

. Xdm and . Xdm, Xquery 1.0 and xpath 2.0 data model (xdm)

. Xml and . Xml, Extensible markup language (xml)1

. Xsl and . Xslt, Xsl transformations (xslt) version 1