A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Database Management Systems
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Testing implications of data dependencies
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Automated Software Engineering
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Journal of Computer and System Sciences - Special issue on PODS 2000
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Static analysis for path correctness of XML queries
Journal of Functional Programming
Testing XML constraint satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Commutativity analysis for XML updates
ACM Transactions on Database Systems (TODS)
Schema-based independence analysis for XML updates
Proceedings of the VLDB Endowment
Regular expression subtyping for XML query and update languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
| Hi-index | 0.01 |
The goal of this article is to show that, in the context of XML data processing, information conveyed by schema or XML types is a powerful component to deploy optimization methods. We focus on the one hand on recent work developed for optimizing query and update evaluation for main-memory engines and on the other hand on techniques for checking XML query-update independence. These methods are all based on static type analysis. The aim of the article is to show how types rank before constraints for XML data processing and the presentation of each method is kept informal.