Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

Journal of Algorithms

Volumn 62, Issue 3-4, 2007, Pages 148-167

  da Luz, Robson ^a   Halfeld Ferrari, Mírian ^b   Musicante, Martin A ^a,c  

^a FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

^b UNIVERSITÉ DE TOURS   (France)

^c FEDERAL UNIVERSITY OF RIO GRANDE DO NORTE   (Brazil)

Author keywords

Schema evolution; Schema for XML; XML

Indexed keywords

COMPUTER SOFTWARE; DATA STRUCTURES; LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; TRANSLATION (LANGUAGES);

DATALOG PROGRAMS; SCHEMA EVOLUTION;

XML;

EID: 35748959009     PISSN: 01966774     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jalgor.2007.04.004     Document Type: Article

References (19)

1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley Publishing Company
2. Al-Jadir L., and El-Moukaddem F. Once upon a time a DTD evolved into another DTD .... Proceedings of the International Conference on Object-Oriented Information Systems. Lecture Notes in Comput. Sci. vol. 2817 (2003) 3-17
3. Bouchou B., Duarte D., Halfeld Ferrari M., Laurent D., and Musicante M.A. Schema evolution for XML: A consistency-preserving approach. Mathematical Foundations of Computer Science (MFCS). Lecture Notes in Comput. Sci. vol. 3153 (August 2004), Springer-Verlag 876-888
4. Pascal Caron O., and Djelloul Ziadi O. Characterization of Glushkov automata. Theoret. Comput. Sci. 233 1-2 (2000) 75-90
5. Robson J.P. da Luz, An algorithm for the incremental schema learning of XML, Master's thesis, Universidade Federal do Paraná, 2007 (in Portuguese)
6. Denio Duarte, Une méthode pour l'évolution de schémas XML préservant la validité des documents, PhD thesis, Université François-Rabelais de Tours, LI/Campus Blois, 2005
7. Gottlob G., and Koch C. Monadic Datalog and the expressive power of languages for web information extraction. PODS'02, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2002), ACM Press, New York, NY, USA 17-28
8. Mírian Halfeld Ferrari Alves, Les aspects dynamiques de XML et les services web, Habilitation à diriger des recherches, Université François Rabelais de Tours, 2007 (in preparation)
9. Hopcroft J.E., Motwani R., and Ullman J.D. Introduction to Automata Theory Languages and Computation. second ed. (2001), Addison-Wesley Publishing Company
10. Kuikka E., Leinonen P., and Penttonen M. Towards automating of document structure transformations. DocEng'02, Proceedings of the 2002 ACM Symposium on Document Engineering (2002), ACM Press, New York, NY, USA 103-110
11. Libkin L. Elements of Finite Model Theory (2004), Springer-Verlag
12. Libkin L. Logics over unranked trees: An overview. Logical Methods Comput. Sci. 2 (2006)
13. Murata M., Lee D., Mani M., and Kawaguchi K. Taxonomy of XML schema languages using formal language theory. ACM Trans. Inter. Tech. 5 4 (2005) 660-704
14. F. Neven, Design and Analysis of Query Languages for Structured Documents, PhD thesis, U. Limburg, 1999
15. Neven F. Automata, logic and XML, in: CSL02 - Annual Conference of the European Association for Computer Science Logic (invited talk). Available at: (2002). http://alpha.uhasselt.be/~fneven/publs.html
16. Parekh R., and Honavar V. Automata induction, grammar inference, and language acquisition. In: Dale R., Somers H.L., and Moisl H. (Eds). Handbook of Natural Language Processing (2000), Marcel Dekker, Inc. 727-764
17. Roddick J., Al-Jadir L., Bertossi L., Dumas M., Estrella F., Gregersen H., Hornsby K., Lufter J., Mandreoli F., Männistö T., Mayol E., and Wedemeijer L. Evolution and change in data management - issues and directions. SIGMOD Record 29 1 (2000) 21-25
18. Su H., Kuno H., and Rundensteiner E.A. Automating the transformation of XML documents. WIDM'01, Proceedings of the 3rd International Workshop on Web Information and Data Management (2001), ACM Press, New York, NY, USA 68-75
19. Ziadi D., Ponty J.L., and Champarnaud J.M. Passage d'une expression rationnelle à un automate fini non-deterministe. Bull. Belg. Math. Soc. 4 (1997) 177-203