Detailed EDBT/ICDT Program
Monday, March 23
09:00—10:30
ICDT Invited Talk: Automatic Verification of Database-Driven Systems: A New Frontier
- Automatic Verification of Database-Driven Systems: A New Frontier (Invited Talk)
Victor Vianu
11:00—12:30
ICDT Research Session 1: Inconsistency and Repairs
- Repair Checking in Inconsistent Databases: Algorithms and Complexity
Foto Afrati and Phokion Kolaitis - Consistent Query Answering under Primary Keys: A Characterization of Tractable Queries
Jef Wijsen - On Approximating Optimum Repairs for Functional Dependency Violations
Solmaz Kolahi and Laks V.S. Lakshmanan
14:00—15:30
ICDT Research Session 2: Data Exchange
- Structural Characterizations of Schema-Mapping Languages
Balder ten Cate and Phokion Kolaitis - Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries
Marcelo Arenas, Juan L. Reutter, and Pablo Barceló - Querying Data Sources That Export Infinite Sets of Views
Bogdan Cautis, Alin Deutsch, and Nicola Onose
16:00—17:30
ICDT Research Session 3: Data Structures and Algorithms
- Optimal Splitters for Database Partitioning with Size Bounds
Kenneth Ross and John Cieslewicz - Efficient Data Structures for Range-Aggregate Queries on Trees
Hao Yuan and Mikhail J. Atallah - Faster Join-Projects and Sparse Matrix Multiplications
Rasmus R. Amossen and Rasmus Pagh