Login / Signup
Termination Properties of Spatial Datalog Programs.
Bart Kuijpers
Jan Paredaens
Marc Smits
Jan Van den Bussche
Published in:
Logic in Databases (1996)
Keyphrases
</>
datalog programs
recursive queries
data analysis
pattern matching
spatial data
fixpoint
magic sets
databases
hidden markov models
object oriented
data management
spatial databases
answer set programming