Executable Transitive Closures of Finite Relations.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2011)

Keyphrases

transitive closure
real numbers
binary relations
artificial intelligence
semantic relations
relational calculus
causal relations
preference relations
e learning
query evaluation
finite number
decision making
information systems
data mining
finite automata
neural network
data sets