Constraint Databases, Geometric Elimination and Geographic Information Systems