XML with data values: Typechecking revisited

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2001, Pages 138-149

  Alon, N ^a   Milo, T ^a   Neven, F ^a   Suciu, D ^a   Vianu, V ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; WORLD WIDE WEB;

DATA TYPE DEFINITIONS (DTD);

XML;

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

References (26)

1. Weak second-order arithmetic and finite automata
2. The implication problem for functional and inclusion dependencies is undecidable
3. Quilt: An XML query language for heterogeneous data sources
4. On wrapping query languages and efficient XML integration
5. Your mediators need data conversion!
6. A query language for XML
7. XDuce: An XML processing language
8. Regular expression pattern matching for XML
9. Type inference for queries on semistructured data
10. Typechecking for XML transformers
11. The implication problem for functional and inclusion dependencies
12. DTD inference for views of XML data
13. On a problem of formal logic
14. The complexity of querying infinite data about linearly ordered domains
15. Languages, automata, and logic