Complexity of Reasoning over Temporal Data Models.
Alessandro ArtaleRoman KontchakovVladislav RyzhikovMichael ZakharyaschevPublished in: ER (2010)
Keyphrases
- data model
- databases
- spatio temporal
- worst case
- temporal knowledge
- reasoning systems
- database systems
- reasoning process
- query language
- temporal planning
- temporal constraints
- spatial and temporal
- temporal evolution
- space complexity
- data modeling
- temporal consistency
- temporal information
- data types
- data sets
- image sequences
- knowledge base
- polynomial hierarchy
- temporal dimension
- temporal reasoning
- decision problems
- data integration
- computational cost