




































|
 |
|
ICDT03 - Research Papers
|
 |
Typechecking Top-Down Uniform Unranked Tree Transducers
CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries
Data Exchange: Semantics and Query Answering
Optimal Range Max Datacube for Fixed Dimensions
On Reasoning about Structural Equality in XML: A Description Logic Approach
Processing XML Streams with Deterministic Automata
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
Incremental Validation of XML Documents
Reformulation of XML Queries and Constraints
Containment of Aggregate Queries
Structural Properties of XPath Fragments
Auditing Sum Queries
Return to ICDT03 session listing
 ©2004 Association for Computing Machinery |