a polynomial time algorithm for testing implications of a join dependency and embodied functional
j leuchner , l miller , g slutzki
proceedings of the 1988 acm sigmod international conference & hellip ; ,