A formal model for an expressive fragment of XSLT

Information Systems

Volumn 27, Issue 1, 2002, Pages 21-39

  Bex, Geert Jan ^a   Maneth, Sebastian ^b   Neven, Frank ^a  

^a HASSELT UNIVERSITY   (Belgium)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Databases; Expressiveness; Logic; Query languages; Tree transducers; XML; XSLT

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; TREES (MATHEMATICS); XML;

EXTENSIBLE STYLE SHEET LANGUAGE TRANSFORMATIONS (XSLT);

QUERY LANGUAGES;

EID: 0036498318     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(01)00033-3     Document Type: Article

References (29)

1. Querying XML data
2. Type checking for XML transformers
3. The lorel query language for semistructured data
4. Catching the boat with strudel: Experiences with a web-site management system
5. A query language and optimization techniques for unstructured data
6. Languages, automata, and logic
7. Query automata
8. Expressiveness of structured document query languages based on attribute grammars
9. Extensions of attribute grammars for structured document queries
10. Expressive and efficient pattern languages for tree-structured data
11. Structured document transformations based on XSL
12. Recognizable sets of graphs: Equivalent definitions and closure properties
13. D'efinition et etude des bilanguages r'eguliers
14. An XML query language for heterogeneous data sources
15. Decision problems for multihead finite automata
16. Mappings and grammars on trees
17. Macro tree transducers, attribute grammars, and MSO definable tree translations