BCNF Decomposition — Details

Find closure(BadAlbum, [artist]):

• Initialize C to {artist}.

• FD label → label_website: label is not in C, skip it.

• FD artist → artist_website: artist is in C, artist_website is not in C.

• So add artist_website to C: {artist, artist_website}