On verifying consistency of XML specifications

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

Volumn , Issue , 2002, Pages 259-270

  Arenas, Marcelo ^a   Fan, Wenfei ^a   Libkin, Leonid ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; RELATIONAL DATABASE SYSTEMS;

COMPILE-TIME VERIFICATION; DOCUMENT TYPE DEFINITION;

XML;

EID: 0036041806     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/543645.543647     Document Type: Conference Paper

References (34)

1. Regular path queries with constraints
2. XML-based information mediation with MIX
3. Schemas for integration and translation of structured and semi-structured data
4. Keys for XML
5. Reasoning about keys for XML
6. Path constraints in semistructured databases
7. Representing and reasoning on XML documents: A description logic approach
8. Making object-oriented schemas more expressive
9. On the interaction between ISA and cardinality constraints
10. XPERANTO: Publishing object-relational data as XML
11. Polynomial-time implication problems for unary inclusion dependencies
12. Integrating and customizing heterogeneous e-commerce applications
13. On XML integrity constraints in the presence of DTDs
14. Verifying integrity constraints on web sites
15. Publishing relational data in XML: The SilkRoute approach
16. Storing and querying XML data using an RDMBS
17. On the computational complexity of cardinality constraints in relational databases
18. Constraints-preserving transformation from XML document type definition to relational schema
19. Tarskian set constraints
20. Extensions of attribute grammars for structured document queries
21. On the complexity of integer programming
22. Efficiently publishing relational data as XML documents
23. Relational databases for querying XML documents: Limitations and opportunities