Dagstuhl Seminar Proceedings: Constraint Databases, Geometric Elimination and Geographic Information Systems 2007

• Peter Z. Revesz:
  Constraint Databases and Geographic Information Systems.
  
• Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz:
  07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems.
  
• Rafael Grimson:
  A lower bound for the complexity of linear optimization from a quantifier-elimination point of view.
  
• Stephan Mäs:
  Checking the Integrity of Spatial Integrity Constraints.
  
• Bart Kuijpers, Walied Othman:
  An analytic solution to the alibi query in the bead model for moving object data.
  
• Bernd Bank, Max J. Egenhofer, Bart Kuijpers:
  07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems.