 |
| CDB'04 |
| Scope |
| Topics of interest |
| Accepted papers |
| Program |
| Registration |
| Invited speakers |
| Proceedings |
| Program committee |
| Organizers |
| Location |
| Page maintained by Bart Kuijpers |
1st International Symposium on
Applications of Constraint Databases
in conjunction with SIGMOD-PODS 2004
Paris, France, June 12-13, 2004
- 14h00-15h00: Registration
- 15h00-15h45: Invited talk 1: Leonid Libkin: Constraints and Queries over Strings and Trees
- 15h45-16h15: Coffee break
- 16h15-17h15: Session 1: Query optimization (Chair: Dina Goldin)
- Jan Chomicki, Semantic Optimization of Preference
Queries
- Anagh Lal, Berthe Y. Choueiry, Improving Join Computation
Using Constraint Processing Techniques
- Jan Chomicki, Semantic Optimization of Preference
Queries
- 17h30-18h30: Session 2: The future of constraint
databases (Chair: Floris Geerts)
- Mengchu Cai, Integrating constraint and relational database
systems
- Dina Q. Goldin, Taking Constraints out of Constraint
Databases
- Mengchu Cai, Integrating constraint and relational database
systems
- 10h00-10h45: Invited talk 2: Joos Heintz: Constraint Databases, Data Structures and Efficient Query
Evaluation
- 10h45-11h15: Coffee break
- 11h15-12h45: Session 3: Spatial and spatio-temporal
data (Chair: Jan Chomicki)
- Lixin Li, Youming Li, Reinhard Piltner, A New Shape
Function Based Spatiotemporal Interpolation Method
- Floris Geerts, Moving objects and their equations of motion
- Sofie Haesevoets, A triangle-based logic for
affine-invariant querying of two-dimensional spatial data
- Lixin Li, Youming Li, Reinhard Piltner, A New Shape
Function Based Spatiotemporal Interpolation Method
- 12h45-15h00: Lunch break
- 15h00-15h45: Invited talk 3: Andreas Podelski: Constraint-Based Model Checking of ECA Rules
- 15h45-16h15: Coffee break
- 16h15-17h45: Session 4: Applications (Chair:
Gabriel Kuper)
- M. T Gómez, R. Ceballos, R. M. Gasca, C. Del Valle,
Applying Constraint Databases in the Determination of Potential
Minimal Conflicts to Polynomial Model-based Diagnosis
- Viswanathan Ramanathan, Peter Revesz, Constraint Database
Solutions to the Genome Map Assembly Problem
- Carson Kai-Sang Leung, Dynamic FP-Tree Based Mining of Frequent Patterns Satisfying Succinct Constraints
- M. T Gómez, R. Ceballos, R. M. Gasca, C. Del Valle,
Applying Constraint Databases in the Determination of Potential
Minimal Conflicts to Polynomial Model-based Diagnosis
- 17h45-18h00: Coffee break
- 18h00-19h00: Panel session (Alex Brodsky, Joos Heintz, Andreas Podelski, Jan Van den Bussche, Moshe Vardi)