I’m trying to understand the steps and conditions for using the synthesis algorithm to determine candidate keys and check the normal forms (1NF, 2NF, 3NF, BCNF) of a database schema. Here’s what I have so far: