10. ICDT 2005: Edinburgh, Scotland, UK

Invited Papers

• Moshe Y. Vardi:
  Model Checking for Database Theoreticians. 1-16
  Electronic Edition (link) BibTeX
• Anders Møller, Michael I. Schwartzbach:
  The Design Space of Type Checkers for XML Transformation Languages. 17-36
  Electronic Edition (link) BibTeX
• David Maier, Jin Li, Peter A. Tucker, Kristin Tufte, Vassilis Papadimos:
  Semantics of Data Streams and Operators. 37-52
  Electronic Edition (link) BibTeX

Regular Papers

• Albert Atserias:
  Conjunctive Query Evaluation by Search Tree Revisited. 53-67
  Electronic Edition (link) BibTeX
• Wim Martens, Frank Neven, Thomas Schwentick:
  Which XML Schemas Admit 1-Pass Preorder Typing? 68-82
  Electronic Edition (link) BibTeX
• Kamesh Munagala, Shivnath Babu, Rajeev Motwani, Jennifer Widom:
  The Pipelined Set Cover Problem. 83-98
  Electronic Edition (link) BibTeX

Query Languages and Types

• Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
  Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. 99-113
  Electronic Edition (link) BibTeX
• Maarten Marx:
  First Order Paths in Ordered Trees. 114-128
  Electronic Edition (link) BibTeX
• Sara Cohen, Yehoshua Sagiv:
  An Abstract Framework for Generating Maximal Answers to Queries. 129-143
  Electronic Edition (link) BibTeX

Multi-dimensional Data Processing

• Keith B. Frikken:
  Optimal Distributed Declustering Using Replication. 144-157
  Electronic Edition (link) BibTeX
• Uri Shaft, Raghu Ramakrishnan:
  When Is Nearest Neighbors Indexable? 158-172
  Electronic Edition (link) BibTeX
• Hu Cao, Ouri Wolfson:
  Nonmaterialized Motion Information in Transport Networks. 173-188
  Electronic Edition (link) BibTeX

Algorithmic Aspects

• Gagan Aggarwal, Tomás Feder, Rajeev Motwani, Rina Panigrahy, An Zhu:
  Algorithms for the Database Layout Problem. 189-203
  Electronic Edition (link) BibTeX
• Vladlen Koltun, Christos H. Papadimitriou:
  Approximately Dominating Representatives. 204-214
  Electronic Edition (link) BibTeX
• José L. Balcázar, Gemma Casas-Garriga:
  On Horn Axiomatizations for Sequential Data. 215-229
  Electronic Edition (link) BibTeX

Privacy and Security

• Alin Deutsch, Yannis Papakonstantinou:
  Privacy in Database Publishing. 230-245
  Electronic Edition (link) BibTeX
• Gagan Aggarwal, Tomás Feder, Krishnaram Kenthapadi, Rajeev Motwani, Rina Panigrahy, Dilys Thomas, An Zhu:
  Anonymizing Tables. 246-258
  Electronic Edition (link) BibTeX
• Zheng Zhang, Alberto O. Mendelzon:
  Authorization Views and Conditional Query Containment. 259-273
  Electronic Edition (link) BibTeX

Logic and Databases

• Alan Nash, Jeffrey B. Remmel, Victor Vianu:
  PTIME Queries Revisited. 274-288
  Electronic Edition (link) BibTeX
• Nilesh N. Dalvi, Gerome Miklau, Dan Suciu:
  Asymptotic Conditional Probabilities for Conjunctive Queries. 289-305
  Electronic Edition (link) BibTeX
• Wolfgang Faber, Gianluigi Greco, Nicola Leone:
  Magic Sets and Their Application to Data Integration. 306-320
  Electronic Edition (link) BibTeX

Query Rewriting

• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
  View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. 321-336
  Electronic Edition (link) BibTeX
• Ariel Fuxman, Renée J. Miller:
  First-Order Query Rewriting for Inconsistent Databases. 337-351
  Electronic Edition (link) BibTeX
• Alin Deutsch, Bertram Ludäscher, Alan Nash:
  Rewriting Queries Using Views with Access Patterns Under Integrity Constraints. 352-367
  Electronic Edition (link) BibTeX

Query Processing, and Data Streams

• Yossi Matias, Daniel Urieli:
  Optimal Workload-Based Weighted Wavelet Synopses. 368-382
  Electronic Edition (link) BibTeX
• Foto N. Afrati, Rada Chirkova:
  Selecting and Using Views to Compute Aggregate Queries (Extended Abstract). 383-397
  Electronic Edition (link) BibTeX
• Ahmed Metwally, Divyakant Agrawal, Amr El Abbadi:
  Efficient Computation of Frequent and Top-k Elements in Data Streams. 398-412
  Electronic Edition (link) BibTeX