Convert relation to BCNF

I am given the relation R = {C, SN, OD, CH, CL, I, S, Y, D, RM, NS}.

The following functional dependencies hold:

{C} -> {OD, CH, CL}

{C, SN, S, Y} -> {D, RM, NS, I}

{RM, D, S, Y} -> {I, C, SN}

I need to convert this to BCNF.

I split this into 2 sub relations R1 = {C,OD,CH,CL} and R2={C,S,Y,D,RM,SN,I,NS}

Now I can see that R1 is in BCNF but I'm not sure about R2. This comes from the idea that {C, SN, S, Y} -> {D, RM, NS, I} so it seems like some non key attributes are determining part of the key. But the non-key attributes also need S,Y which are key attributes so I'm not sure if BCNF rule holds.

So is R2 in BCNF?

https://stackoverflow.com/questions/66960881/convert-relation-to-bcnf April 06, 2021 at 07:16AM