The equational theory of the natural join and inner union is decidable.

Luigi Santocanale

Published in: CoRR (2017)

Keyphrases

computational model
data sets
machine learning
theoretical framework
expressive power
theorem prover
theorem proving
equational theories