a retrospective on constraint databases
In this paper we give a review of constraint databases, a field that was started by Paris Kanellakis, Gabriel Kuper and the author. The review includes basic concepts of data representation, constraint query languages, and query evaluation. We also illustrate applications of constraint databases in the areas of model checking, data mining, trust management, Diophantine polynomial equations, and moving objects.
constraint databases model checking data mining trust management variable elimination diophantine equations moving points