Both S1 and S2 are true

S1 is true

S2 is true

None of these

2 NF

3 NF

BCNF

4 NF

BCNF is stricter than 3 NF

Lossless, dependency -preserving decomposition into 3 NF is always possible

Loss less, dependency - preserving decomposition into BCNF is always possible

Any relation with two attributes is BCNF

AE, BE

AE, BE, DE

AEH, BEH, BCH

AEH, BEH, DEH

{CF}+ = {ACDEFG}

{BG}± = {ABCDG}

{AE }+ = {ACDEFG}

{AC = {ACDFG}