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

Luigi Santocanale

Browse the full FOSSACS paper archive.