A compelte axiomatization for full join dependencies in relations.

Bernhard Thalheim A compelte axiomatization for full join dependencies in relations. 109-114 1984 24 Bulletin of the EATCS db/journals/eatcs/eatcs24.html#Thalheim84