9.00-9.15 |
Opening |
|
Invited talk |
9.15-10.30 |
Consistent Query Answering: Opportunities and Limitations |
|
Jan Chomicki, Computer Science and Engineering, University at Buffalo. |
|
10.30-11.00 |
Coffee break |
|
Session 1: Openness, Incompleteness and Streams |
11.00-11.30 |
An Integrity Semantics for Open World Databases |
|
Hendrik Decker |
11.30-12.00 |
A Strongly Minimal Axiomatization of Multivalued Dependencies in Incomplete Database Relations |
|
Sebastian Link |
12.00-12.30 |
History checking of XML data streams |
|
Alessandro Campi and Paola Spoletini |
|
12.30-14.00 |
Lunch |
|
Session 2: Optimization and Consistency |
14.00-14.30 |
Optimising Query Answering in the Presence of Access Limitations |
|
Andrea Calì and Diego Calvanese |
14.30-15.00 |
Trying to Cater for Replication Consistency and Integrity of Highly Available Data |
|
J. E. Armendáriz-Iñigo, J. R. Juárez-Rodríguez, H. Decker and F. D. Muñoz-Escoí |
15.00-15.30 |
Consistent Query Answering By Minimal-Size Repairs |
|
Andrei Lopatenko and Leopoldo Bertossi |
|
15.30-16.00 |
Coffee break |
|
Session 3: Distributed and Parallel Databases |
16.00-16.30 |
Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases |
|
Hamidah Ibrahim |
16.30-17.00 |
On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases |
|
Henning Christiansen and Davide Martinenghi |
|
17.00-17.15 |
Closing |