First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.

Aboubakr Achraf El Ghazi Mana Taghdiri Mihai Herda

Published in: NFM (2015)

Keyphrases

transitive closure
first order logic
expressive power
constraint databases
query evaluation
recursive queries
binary relations
relational algebra
query language
knowledge representation
directed acyclic graph
incomplete information
horn clauses
machine learning
deductive databases
data complexity