117
Voted
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...