Static Analysis of XML Document Adaptations

  • Alessandro Solimando
  • Giorgio Delzanno
  • Giovanna Guerrini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7518)


In this paper we propose a framework for XML data and schema co-evolution that allows to check whether a user-proposed document adaptation (i.e., a sequence of document update operations intended to adapt the documents valid for a schema to a new schema) is guaranteed to produce a document valid for the updated schema. The proposed framework can statically determine, working only with the automata related to the original and modified schema, if the document update operation sequence will re-establish document validity, thus avoiding the very expensive run-time revalidation of the set of involved documents that is usually performed upon schema update.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benedikt, M., Cheney, J.: Semantics, Types and Effects for XML Updates. In: Gardner, P., Geerts, F. (eds.) DBPL 2009. LNCS, vol. 5708, pp. 1–17. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Cavalieri, F., Guerrini, G., Mesiti, M.: Updating XML Schemas and Associated Documents through Exup. In: Proc. of the 27th International Conference on Data Engineering, pp. 1320–1323 (2011)Google Scholar
  3. 3.
    Clark, J., Murata, M.: RELAX NG Specification (2001),
  4. 4.
    Comon, H., Dauchet, M., Gilleron, R., Löding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree Automata Techniques and Applications (2007), (release October 12, 2007)
  5. 5.
    Dal-Zilio, S., Lugiez, D.: XML Schema, Tree Logic and Sheaves Automata. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 246–263. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Genest, B., Muscholl, A., Serre, O., Zeitoun, M.: Tree Pattern Rewriting Systems. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 332–346. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Geneves, P., Layaiada, N., Quint, V.: Impact of XML Schema Evolution. ACM Trans. Internet Technol. 11(1) (2011)Google Scholar
  8. 8.
    Guerrini, G., Mesiti, M., Sorrenti, M.: XML Schema Evolution: Incremental Validation and Efficient Document Adaptation. In: 5th International XML Database Symposium on Database and XML Technologies, pp. 92–106 (2007)Google Scholar
  9. 9.
    Jacquemard, F., Rusinowitch, M.: Formal Verification of XML Updates and Access Control Policies (May 2010)Google Scholar
  10. 10.
    Liu, Z., Natarajan, S., He, B., Hsiao, H., Chen, Y.: Cods: Evolving data efficiently and scalably in column oriented databases. PVLDB 3(2), 1521–1524 (2010)Google Scholar
  11. 11.
    Maneth, S., Berlea, A., Perst, T., Seidl, H.: XML type checking with macro tree transducers. In: PODS, pp. 283–294 (2005)Google Scholar
  12. 12.
    Moon, H., Curino, C., Deutsch, A., Hou, C., Zaniolo, C.: Managing and querying transaction-time databases under schema evolution. PVLDB 1(1), 882–895 (2008)Google Scholar
  13. 13.
    Moro, M., Malaika, S., Lim, L.: Preserving xml queries during schema evolution. In: WWW, pp. 1341–1342 (2007)Google Scholar
  14. 14.
    Murata, M., Lee, D., Mani, M., Kawaguchi, K.: Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Technol. 5(4), 660–704 (2005)CrossRefGoogle Scholar
  15. 15.
    Solimando, A., Delzanno, G., Guerrini, G.: Static Analysis of XML Document Adaptations through Hedge Automata. Technical Report DISI-TR-11-08 (2011)Google Scholar
  16. 16.
    Touili, T.: Computing Transitive Closures of Hedge Transformations. In: Proc. 1st Int. Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS 2007). eWIC Series. British Computer Society (2007)Google Scholar
  17. 17.
    Chamberlin, D., Dyck, M., Florescu, D., Melton, J., Robie, J., Simon, J.: W3C. XQuery Update Facility 1.0 (2009),
  18. 18.
    Walmsley, P., Fallside, D.C.: W3C. XML Schema Part 0: Primer Second Edition (2004),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alessandro Solimando
    • 1
  • Giorgio Delzanno
    • 1
  • Giovanna Guerrini
    • 1
  1. 1.DIBRISUniversità di GenovaItaly

Personalised recommendations