The Topological Mu-Calculus: completeness and decidability.
Alexandru BaltagNick BezhanishviliDavid Fernández-DuquePublished in: CoRR (2021)
Keyphrases
- type checking
- description logics
- qualitative spatial reasoning
- query answering
- topological spaces
- decision procedures
- topological properties
- computational properties
- directional relations
- database query languages
- relational calculus
- data sets
- development environment
- formal language
- topological features
- data quality
- connected components
- spatial reasoning
- geometric objects
- data types
- query language
- data structure