Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.
Tony TanJan Van den BusscheXiaowang ZhangPublished in: CoRR (2014)
Keyphrases
- binary relations
- cardinal directions
- transitive closure
- cardinal direction relations
- graph theoretic
- inference rules
- data model
- description logics
- computational complexity
- query language
- semantic network
- query containment
- concept lattice
- relational algebra
- formal concept analysis
- weighted majority voting
- data mining
- complex objects
- data management
- probability distribution
- multi agent