9. ICDT 2003: Siena, Italy

@proceedings{DBLP:conf/icdt/2003,
  editor    = {Diego Calvanese and
               Maurizio Lenzerini and
               Rajeev Motwani},
  title     = {Database Theory - ICDT 2003, 9th International Conference, Siena,
               Italy, January 8-10, 2003, Proceedings},
  booktitle = {ICDT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2572},
  year      = {2002},
  isbn      = {3-540-00323-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Neil Daswani, Hector Garcia-Molina, Beverly Yang:
  Open Problems in Data-Sharing Peer-to-Peer Systems. 1-15
  Electronic Edition (Springer LINK) BibTeX
• Yannis E. Ioannidis:
  Approximations in Database Systems. 16-30
  Electronic Edition (Springer LINK) BibTeX
• Jinyan Li, See-Kiong Ng, Limsoon Wong:
  Bioinformatics Adventures in Database Research. 31-46
  Electronic Edition (Springer LINK) BibTeX

Reasoning about XML Schemas and Queries

• Yannis Papakonstantinou, Victor Vianu:
  Incremental Validation of XML Documents. 47-63
  Electronic Edition (Springer LINK) BibTeX
• Wim Martens, Frank Neven:
  Typechecking Top-Down Uniform Unranked Tree Transducers. 64-78
  Electronic Edition (Springer LINK) BibTeX
• Michael Benedikt, Wenfei Fan, Gabriel M. Kuper:
  Structural Properties of XPath Fragments. 79-95
  Electronic Edition (Springer LINK) BibTeX
• David Toman, Grant E. Weddell:
  On Reasoning about Structural Equality in XML: A Description Logic Approach. 96-110
  Electronic Edition (Springer LINK) BibTeX

Aggregate Queries

• Sara Cohen, Werner Nutt, Yehoshua Sagiv:
  Containment of Aggregate Queries. 111-125
  Electronic Edition (Springer LINK) BibTeX
• Francesco M. Malvestuto, Mauro Mezzini:
  Auditing Sum Queries. 126-142
  Electronic Edition (Springer LINK) BibTeX
• Sathish Govindarajan, Pankaj K. Agarwal, Lars Arge:
  CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries. 143-157
  Electronic Edition (Springer LINK) BibTeX
• Chung Keung Poon:
  Optimal Range Max Datacube for Fixed Dimensions. 158-172
  Electronic Edition (Springer LINK) BibTeX

Query Evaluation

• Todd J. Green, Gerome Miklau, Makoto Onizuka, Dan Suciu:
  Processing XML Streams with Deterministic Automata. 173-189
  Electronic Edition (Springer LINK) BibTeX
• Floris Geerts, Bart Kuijpers:
  Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases. 190-206
  Electronic Edition (Springer LINK) BibTeX

Query Rewriting and Reformulation

• Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa:
  Data Exchange: Semantics and Query Answering. 207-224
  Electronic Edition (Springer LINK) BibTeX
• Alin Deutsch, Val Tannen:
  Reformulation of XML Queries and Constraints. 225-241
  Electronic Edition (Springer LINK) BibTeX
• Gösta Grahne, Alex Thomo:
  New Rewritings and Optimizations for Regular Path Queries. 242-258
  Electronic Edition (Springer LINK) BibTeX
• Michal Bielecki, Jan Van den Bussche:
  Database Interrogation Using Conjunctive Queries. 259-269
  Electronic Edition (Springer LINK) BibTeX

Semistructured versus Structured Data

• Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Jeffrey F. Naughton:
  On the Difficulty of Finding Optimal Relational Decompositions for XML Workloads: A Complexity Theoretic Perspective. 267-281
  Electronic Edition (Springer LINK) BibTeX
• Sara Cohen, Yaron Kanza, Yehoshua Sagiv:
  Generating Relations from XML Documents. 282-296
  Electronic Edition (Springer LINK) BibTeX

Query Containment

• Peter T. Wood:
  Containment for XPath Fragments under DTD Constraints. 297-311
  Electronic Edition (Springer LINK) BibTeX
• Frank Neven, Thomas Schwentick:
  XPath Containment in the Presence of Disjunction, DTDs, and Variables. 312-326
  Electronic Edition (Springer LINK) BibTeX
• Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
  Decidable Containment of Recursive Queries. 327-342
  Electronic Edition (Springer LINK) BibTeX
• Fang Wei, Georg Lausen:
  Containment of Conjunctive Queries with Safe Negation. 343-357
  Electronic Edition (Springer LINK) BibTeX

Consistency and Incompleteness

• Edward Hung, Lise Getoor, V. S. Subrahmanian:
  Probabilistic Interval XML. 358-374
  Electronic Edition (Springer LINK) BibTeX
• Jef Wijsen:
  Condensed Representation of Database Repairs for Consistent Query Answering. 375-390
  Electronic Edition (Springer LINK) BibTeX
• Jan Hidders:
  Typing Graph-Manipulation Operations. 391-406
  Electronic Edition (Springer LINK) BibTeX
• Evaggelia Pitoura, Panos K. Chrysanthis, Krithi Ramamritham:
  Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination. 407-421
  Electronic Edition (Springer LINK) BibTeX

Data Structures

• Khaled M. Elbassioni, Amr Elmasry, Ibrahim Kamel:
  An Efficient Indexing Scheme for Multi-dimensional Moving Objects. 422-436
  Electronic Edition (Springer LINK) BibTeX
• Michiel Hagedoorn:
  Nearest Neighbors Can Be Found Efficiently If the Dimension Is Small Relative to the Input Size. 437-451
  Electronic Edition (Springer LINK) BibTeX