• Y subset of X: trivially true. Unimportant for intuition about BCNF.

  • X is a superkey: Every FD is due to a key.

  • Exactly what happens if a table represents an entity, and nothing else.