Keyphrases
- spatial information
- spatial distribution
- spatial and temporal
- spatio temporal
- spatial data
- database systems
- logic programming
- spatial databases
- concurrency control
- concurrent programming
- predicate logic
- spatial features
- space time
- databases
- modal logic
- data model
- spatial temporal
- spatial objects
- spatial reasoning
- knowledge base
- linear logic
- database