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