First-Order Languages Expressing Constructible Spatial Database Queries.

Bart Kuijpers Gabriel M. Kuper Jan Paredaens Luc Vandeurzen

Published in: SIAM J. Comput. (2007)

Keyphrases

database queries
horn clauses
databases
database
first order logic
expressive power
spatio temporal
query processor
spatial data
spatial information
spatial databases
spatial and temporal
spatial reasoning
higher order
knowledge representation
pattern languages
spatial location
aggregation queries