Program - ICDT 2005
January 5, 2005
9:00 - 10:00 Invited talk:
- Model Checking for Database Theoreticians,
Moshe Vardi
10:00 - 10:30 Best newcomer award:
- Conjunctive query evaluation by search tree revisited,
Albert Atserias
10:30 - 11:00 Coffee break.
11:00 - 12:30 Query languages:
- Well-definedness and semantic type checking in the nested
relational calculus and XQuery,
Jan Van den Bussche, Dirk Van Gucht and Stijn Vansummeren.
- First order paths in ordered trees,
Maarten Marx.
- An Abstract Framework for Generating Maximal Answers to Queries,
Sara Cohen and Yehoshua Sagiv.
12:30-14:00 Lunch.
14:00 - 15:30 Multi-dimensional data processing:
- Optimal Distributed Declustering using Replication,
Keith Frikken.
- When Is Nearest Neighbors Indexable?
Uri Shaft and Raghu Ramakrishnan.
- Nonmaterialized Motion Information in Transport Networks,
Hu Cao and Ouri Wolfson.
15:30 - 16:00 Coffee break.
16:00 - 17:30 Algorithmic aspects:
- Algorithms for the Database Layout Problem,
Gagan Aggarwal, Tomas Feder, Rajeev Motwani, Rina Panigrahy and An
Zhu.
- Approximately Dominating Representatives,
Vladlen Koltun and Christos Papadimitriou.
- On Horn Axiomatizations for Sequential Data,
Jose L. Balcazar and Gemma Casas-Garriga.
18:00 Business meeting.
19:00 Whisky tasting.
January 6, 2005
9:00 - 10:00 Invited talk:
- The Design Space of Type Checkers for XML Transformations,
Michael Schwartzbach.
10:00 - 10:30
- Which XML Schemas Admit 1-Pass Preorder Typing,
Wim Martens, Frank Neven and Thomas Schwentick.
10:30 - 11:00 Coffee break.
11:00 - 12:30 Privacy and security:
- Privacy in Database Publishing,
Alin Deutsch and Yannis Papakonstantinou.
- Anonymizing Tables,
Gagan Aggarwal, Tomas Feder, Krishnaram Kenthapadi, Rajeev Motwani,
Rina Panigrahy, Dilys Thomas and An Zhu.
- Authorization Views and Conditional Query Containment,
Zheng Zhang and Alberto Mendelzon.
12:30 - 14:00 Lunch.
After lunch: Castle tour; banquet; whisky tasting.
January 7, 2005
9:00 - 10:00 Invited talk:
- Semantics of Data Streams and Operators,
David Maier.
10:00 - 10:30
- The Pipelined Set Cover Problem,
Kamesh Munagala, Shivnath Babu, Rajeev Motwani and Jennifer Widom.
11:00 - 12:30 Logic and databases:
- PTIME Queries Revisited,
Alan Nash, Jeff Remmel and Victor Vianu.
- Asymptotic Conditional Probabilities for Conjunctive Queries,
Nilesh Dalvi, Gerome Miklau and Dan Suciu.
- Magic Sets and their Application to Data Integration,
Wolfgang Faber, Gianluigi Greco and Nicola Leone.
12:30 - 14:00 Lunch.
14:00-15:30 Query rewriting:
- View-based Query Processing: On the Relationship between Rewriting,
Answering and Losslessness,
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini and Moshe
Y. Vardi.
- First-Order Query Rewriting for Inconsistent Databases,
Ariel D. Fuxman and Renee J. Miller.
- Rewriting Queries Using Views with Access Patterns Under Integrity
Constraints,
Alin Deutsch, Bertram Ludaescher and Alan Nash.
15:30-16:00 Coffee break.
16:00-17:30 Query processing and data streams:
- Optimal Workload--based Weighted Wavelet Synopses,
Daniel Urieli and Yossi Matias.
- Selecting and Using Views to Compute Aggregate Queries,
Foto Afrati and Rada Chirkova.
- Efficient Computation of Frequent and Top-k Elements in Data
Streams,
Ahmed Metwally, Divyakant Agrawal and Amr El Abbadi.