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