Executable Transitive Closures.

Published in: Arch. Formal Proofs (2012)

Keyphrases

transitive closure
expressive power
query evaluation
first order logic
spatial databases
face recognition
neural network
computer vision
feature selection
case study
query processing
query language