Drinkers(NAME, addr, BEERSLIKED, manf, favBeer)
F = name -> addr, name -> favBeer, beersLiked -> manf

BCNF violation: pick NAME -> addr

what's the closure of NAME? 

NAME^+ = {NAME, addr, favBeer}

Drinkers1(NAME, addr, favBeer)
Drinkers2(NAME, BEERSLIKED, manf)

BCNF violation: BEERSLIKED -> manf 

BEERSLIKED^+ = {BEERSLIKED, manf)

Drinkers3(BEERSLIKED, manf)
Drinkers4(NAME, BEERSLIKED)


Drinkers1(NAME, addr, favBeer)
Drinkers3(BEERSLIKED, manf)
Drinkers4(NAME, BEERSLIKED)