Embedding an analytic equivalence relation in the transitive closure of a Borel relation.
Edward J. GreenPublished in: J. Log. Anal. (2013)
Keyphrases
- transitive closure
- equivalence relation
- binary relations
- expressive power
- query evaluation
- first order logic
- query language
- rough set theory
- spatial databases
- directed acyclic graph
- numerical data
- rough sets
- partial order
- granular computing
- database
- query processing
- databases
- concept lattice
- inference rules
- data analysis