XML schema, tree logic and sheaves automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2706, Issue , 2003, Pages 246-263

  Zilio, Silvano Dal ^a   Lugiez, Denis ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FORESTRY; XML;

DOCUMENT TYPE DEFINITION; LABELED TREES; REGULAR TREE; SEMI STRUCTURED DATA; TREE AUTOMATA; TREE LOGIC; UNRANKED TREES; XML SCHEMAS;

TREES (MATHEMATICS);

EID: 35048881665     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 1999.
2. A. Berlea and H. Seidl. Binary queries. In Extreme Markup Languages, 2002.
3. A. Brown, M. Fuchs, J. Robie, and P. Wadler: MSL: A model for W3C XML schema. In WWW 10, 2001.
4. L. Cardelli and G. Ghelli. A query language based on the ambient logic. In European Symposium on Programming (ESOP), volume 2028 of LNCS, pages 1–22, 2001.
5. L. Cardelli and A. Gordon: Anytime, anywhere: Modal logic for mobile ambients. In Principles of Programming Languages (POPL). ACM Press, 2000.
6. J. Clark and M. Makoto, editors. RELAX-NG Tutorial. OASIS, 2001.
7. H. Comon, M. Dauchet, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata and their application. To appear as a book, 2003.
8. S. Dal Zilio and D. Lugiez: XML schema, tree logic and sheaves automata. Technical Report 4631, INRIA, 2002.
9. H. Hosoya and B. C. Pierce. Regular expression pattern matching for XML. In Principles of Programming Languages (POPL), pages 67–80. ACM Press, 2001.
10. D. Lugiez and S. Dal Zilio: Multitrees automata, Presburger’s constraints and tree logics. Technical Report 08-2002, LIF, 2002.
11. M. Makoto. Extended path expression for XML. In Principles of Database Systems (PODS). ACM Press, 2001.
12. A. Muscholl, T. Schwentick, and H. Seidl. Numerical document queries. In Principle of Databases Systems (PODS). ACM Press, 2003.