Extending tree automata to model XML validation under element and attribute constraints

ICEIS 2003 - Proceedings of the 5th International Conference on Enterprise Information Systems

Volumn 1, Issue , 2003, Pages 184-190

  Bouchou, B ^a   Halfeld Ferrari Alves, M ^a   Laurent, D ^a   Duarte, D ^a  

^a UNIVERSITÉ DE TOURS   (France)

Author keywords

Attribute constraints; DTD; Element constraints; Regular tree automata; XML validation; XML views

Indexed keywords

ALGORITHMS; FORESTRY; INFORMATION SYSTEMS; XML;

ATTRIBUTE CONSTRAINT; DTD; ELEMENT CONSTRAINTS; REGULAR TREE; XML VIEWS;

AUTOMATA THEORY;

ALGORITHMS; INFORMATION RETRIEVAL;

EID: 84908891193     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Alon, N., Milo, T., Neven, F., Suciu, D., and Vianu, V. (2001). XML with data values: Typechecking revisited. In ACM Symposium on Principles of Database System.
2. Bouchou, B., Duarte, D., Halfeld Ferrari Alves, M., and Laurent, D. (2003). Tree automata for validating XML views under element and attribute constraints. In Technical Report (To appear), LI, Université de Tours.
3. Brüggeman-Klein, A. and Wood, D. (1998a). Oneunambiguous regular languages. Information and Computation, 142(2): 182-206.
4. Brüggeman-Klein, A. and Wood, D. (1998b). Regular tree languages over non-ranked alphabets. Technical report, unpublished manuscript.
5. Chidlovskii, B. (2000). Using regular tree automata as XML schemas. In Proc. IEEE Advances in Digital Libraries Conference.
6. Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., and Tommasi, M. (1997). Tree Automata Techniques and Applications. Available on: http://www.grappa.univ-lille3.fr/tata.
7. Hosoya, H. and Murata, M. (2002). Validation and boolean operations of attribute-element constraints. In Programming Languages Technologies for XML, PLANX.
8. Lee, D., Mani, M., and Murata, M. (2000). Reasoning about XML schemas languages using formal language theory. In Technical Report - IBM Almaden Research Center. Available in www.cobase.cs.ucla.edu/tech-docs/~dongwon/ibm-tr-2000.ps.
9. Milo, T., Suciu, D., and Vianu, V. (2000). Typechecking for XML transformers. In ACM Symposium on Principles of Database System, pages 11-22.
10. Murata, M., Lee, D., and Mani, M. (2001). Taxonomy of XML schema language using formal language theory. In Extreme Markup Language, Montreal, Canada.
11. Neven, F. (2002a). Automata, logic and XML. In CSL'02 - Annual Conference of the European Association for Computer Science Logic (invited talk).
12. Neven, F. (2002b). Automata theory for XML researchers. Sigmod Record, 31(3).
13. Papakonstantinou, Y. and Vianu, V. (2000). DTD inference for views of XML data. In ACM Symposium on Principles of Database System, pages 35-46.
14. Segoufin, L. and Vianu, V. (2002). Validating streaming XML documents. In ACM Symposium on Principles of Database System.
15. Thomas, W. (1997). Languages, automata and logic. In Rozenberg, G. and Salomaa, A., editors, Handbook of Formal Languages, Volume 3. Springer Verlag.
16. Vianu, V. (2001). A web odyssey: from Codd to XML. In ACM Symposium on Principles of Database System.