The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation.
Yoshiki NakamuraPublished in: ICLA (2019)
Keyphrases
- binary relations
- transitive closure
- cardinal directions
- cardinal direction relations
- graph theoretic
- first order logic
- inference rules
- expressive power
- equivalence relation
- query language
- query evaluation
- spatial databases
- relational algebra
- concept lattice
- formal concept analysis
- semantic network
- preference relations
- description logics
- relational model
- database technology
- data analysis