Decision problems for regular trace languages, 14th International Colloquium on Automata, languages and programming, pp.250-259, 1987. ,
An optimal pre-determinization algorithm for weighted transducers, Theoretical Computer Science, vol.328, issue.1-2, pp.3-8, 2004. ,
DOI : 10.1016/j.tcs.2004.07.003
Update semantics of relational views, ACM Transactions on Database Systems, vol.6, issue.4, pp.557-575, 1981. ,
DOI : 10.1145/319628.319634
Transductions and context-free languages, of Leitfäden der Angewandten Mathematik und Mechanik. B. G. Teubner, 1979. ,
DOI : 10.1007/978-3-663-09367-1
URL : https://hal.archives-ouvertes.fr/hal-00619779
Forest algebras Logic and Automata, 2007. ,
MonetDB/XQuery, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, pp.479-490, 2006. ,
DOI : 10.1145/1142473.1142527
PATAX´OPATAX´ PATAX´O: A framework to allow updates through XML views, ACM Transactions on Database Systems, p.31, 2006. ,
An Automata-Theoretic Approach to Regular XPath, DBPL, pp.18-35, 2009. ,
DOI : 10.1007/3-540-46093-4_3
Updating recursive XML views of relations, Journal of Computer Science and Technology, vol.23, 2008. ,
Recent investigations in relational data base systems, IFIP Congress, pp.1017-1021, 1974. ,
Updates of Relational Views, Journal of the ACM, vol.31, issue.4, pp.742-760, 1984. ,
DOI : 10.1145/1634.1887
On the correct translation of update operations on relational views, ACM Transactions on Database Systems, vol.7, issue.3 ,
DOI : 10.1145/319732.319740
On the semantics of updates in databases, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '83, pp.352-365, 1983. ,
DOI : 10.1145/588058.588100
Rewriting Regular XPath Queries on XML Views, 2007 IEEE 23rd International Conference on Data Engineering, pp.666-675, 2007. ,
DOI : 10.1109/ICDE.2007.367912
Propagating updates through XML views using lineage tracing, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), 2010. ,
DOI : 10.1109/ICDE.2010.5447896
Properties of Visibly Pushdown Transducers, 2010. ,
DOI : 10.1007/978-3-642-15155-2_32
URL : https://hal.archives-ouvertes.fr/inria-00492241
Updatable Security Views, 2009 22nd IEEE Computer Security Foundations Symposium, 2009. ,
DOI : 10.1109/CSF.2009.25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.8632
Combinators for bidirectional tree transformations, TOPLAS), 2007. ,
DOI : 10.1145/1232420.1232424
URL : https://hal.archives-ouvertes.fr/inria-00484971
XQuery update for the impatient Available on http ,
Properties and update semantics of consistent views, ACM Transactions on Database Systems, vol.13, issue.4, pp.486-524, 1988. ,
DOI : 10.1145/49346.50068
The unsolvability of the Equivalence Problem for ??-Free nondeterministic generalized machines, Journal of the ACM, vol.15, issue.3, pp.409-413, 1968. ,
DOI : 10.1145/321466.321473
XML Security Views Revisited, International Symposium on Database Programming Languages (DBPL), 2009. ,
DOI : 10.1007/11896548_22
URL : https://hal.archives-ouvertes.fr/hal-00396796
Foundations of canonical update support for closed database views, Third International Conference on Database Theory Paris (ICDT'90), 1990. ,
DOI : 10.1007/3-540-53507-1_93
Alignment of trees ??? an alternative to tree edit, Theoretical Computer Science, vol.143, issue.1, pp.137-148, 1995. ,
DOI : 10.1016/0304-3975(95)80029-9
Efficient Processing of Expressive Node-Selecting Queries on XML Data in Secondary Storage, VLDB, pp.249-260, 2003. ,
DOI : 10.1016/B978-012722442-8/50030-6
Reasoning about XML with temporal logics and automata, Proceedings of the International Conferences on Logic for Programming, 2008. ,
Bidirectional interpretation of XQuery, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '07, pp.21-30, 2007. ,
DOI : 10.1145/1244381.1244386
Hedge automata: A formal model for XML schemata, 1999. ,
Testing equivalence of morphisms on context-free languages, ESA, pp.460-470, 1994. ,
DOI : 10.1007/BFb0049431
Decidability of second-order theories and automata on infinite trees, Bulletin of the American Mathematical Society, vol.74, issue.5, pp.1025-1029, 1968. ,
DOI : 10.1090/S0002-9904-1968-12122-6
Visibly Pushdown Transducers, pp.386-397, 2008. ,
DOI : 10.1007/978-3-540-70583-3_32
URL : https://hal.archives-ouvertes.fr/inria-00492241
Query Rewriting Algorithm Evaluation for XML Security Views, Secure Data Management, pp.64-80, 2007. ,
DOI : 10.1007/978-3-540-75248-6_5
Automata for XML???A survey, Journal of Computer and System Sciences, vol.73, issue.3, pp.289-315, 2007. ,
DOI : 10.1016/j.jcss.2006.10.003
The view update problem for XML, Proceedings of the 1st International Workshop on Data Semantics, DataSem '10, 2010. ,
DOI : 10.1145/1754239.1754262
URL : https://hal.archives-ouvertes.fr/inria-00536503
Storing and querying ordered XML using a relational database system, Proceedings of the 2002 ACM SIGMOD international conference on Management of data , SIGMOD '02, 2002. ,
DOI : 10.1145/564691.564715
Query Translation for XPath-Based Security Views, EDBT Workshops, pp.250-263, 2006. ,
DOI : 10.1007/11896548_22
Updating XML views published over relational databases: Towards the existence of a correct update mapping, Data & Knowledge Engineering, vol.58, issue.3, 2006. ,
DOI : 10.1016/j.datak.2005.07.003