Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
Cristiano CalcagnoHongseok YangPeter W. O'HearnPublished in: FSTTCS (2001)
Keyphrases
- data structure
- spatial data
- spatio temporal
- programming language
- language learning
- natural language
- searching in metric spaces
- spatial reasoning
- spatial information
- computational complexity
- databases
- database
- spatial features
- data sets
- complexity analysis
- spatial distribution
- space complexity
- spatial relations
- spatial databases
- moving objects
- decision problems
- spatial and temporal
- information retrieval
- artificial intelligence
- object oriented
- data model