Database Consistency: Logic-Based Approaches

Schedule

1. April 27: Integrity constraints (Jan Chomicki)
2. April 28: Consistent query answers (Jan Chomicki)
3. May 25: Conditional dependencies (Wenfei Fan)
4. May 26: Integrity constraints for XML (Wenfei Fan)

Handouts

1. April 27-28
2. May 25
3. May 26

Problem sets

1. April 27-28 (due May 25)
2. May 25-26 (due July 10)