CALL FOR PARTICIPATION
1st INTERNATIONAL SYMPOSIUM ON APPLICATIONS OF
CONSTRAINT DATABASES (CDB'04)
in conjunction with SIGMOD-PODS 2004
Paris, France, 12-13 June 2004
http://www.luc.ac.be/cdb04
*The site is open for registration*
INVITED TALKS
- Constraints and Queries over Strings and Trees.
Leonid Libkin (U Toronto)
- Constraint Databases, Data Structures and Efficient Query
Evaluation.
Joos Heintz (U Buenos Aires)
- Constraint-Based Model Checking of ECA Rules.
Andreas Podelski (Max Planck Institute)
DETAILED PROGRAM
SATURDAY, JUNE 12, 2004 (15h00-18h30)
Invited talk 1:
- Constraints and Queries over Strings and Trees.
Leonid Libkin (U Toronto)
Session 1: Query optimization
- Semantic Optimization of Preference Queries.
Jan Chomicki
- Improving Join Computation Using Constraint Processing Techniques.
Anagh Lal, Berthe Y. Choueiry
Session 2: The future of constraint databases
- Integrating constraint and relational database systems.
Mengchu Cai
- Taking Constraints out of Constraint Databases.
Dina Q. Goldin
SUNDAY, JUNE 13, 2004 (10h00-19h00)
Invited talk 2:
- Constraint Databases, Data Structures and Efficient Query Evaluation.
Joos Heintz
Session 3: Spatial and spatio-temporal data
- A New Shape Function Based Spatiotemporal Interpolation Method.
Lixin Li, Youming Li, Reinhard Piltner
- Moving objects and their equations of motion.
Floris Geerts
- A triangle-based logic for affine-invariant querying of twodimensional
spatial data.
Sofie Haesevoets
Invited talk 3:
- Constraint-Based Model Checking of ECA Rules.
Andreas Podelski
Session 4: Applications
- Applying Constraint Databases in the Determination of Potential Minimal
Conflicts to Polynomial Model-based Diagnosis.
M. T Gómez, R. Ceballos, R. M. Gasca, C. Del Valle
- Constraint Database Solutions to the Genome Map Assembly Problem.
Viswanathan Ramanathan, Peter Revesz
- Dynamic FP-Tree Based Mining of Frequent Patterns Satisfying Succinct
Constraints.
Carson Kai-Sang Leung
Panel session
ADDITIONAL INFORMATION
You will find additional information on the Web site of the symposium.
In particular, you can get access to:
- info related to the organization of CDB'04
- Venue information
- registration
Received on Mon Apr 05 2004 - 14:25:38 CDT
