A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases

Bart Kuijpers, Walied Othman, Rafael Grimson

In the constraint database model, spatial and spatio-temporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relationa…