The Equational Theory of the Natural Join and Inner Union is Decidable.

Luigi Santocanale

Published in: FoSSaCS (2018)

Keyphrases

real world
theoretical foundation
theorem proving
equational theories
genetic algorithm
query processing
theoretical basis
databases
artificial intelligence
data model
query optimization
situation calculus
join algorithms
action theories