Towards Practical Constraint Databases.

Stéphane Grumbach Jianwen Su

Published in: PODS (1996)

Keyphrases

constraint databases
linear constraints
transitive closure
query language
temporal data
fixed point
query evaluation
relational databases
first order logic
database
computer vision
expressive power
temporal information