is in 3NF with respect to a set
of functional dependencies if
for all functional dependencies in
of the form
, where
and
, at least one of the following holds:
is a trivial functional dependency.
is a superkey for scheme
.
in
is contained in a candidate key for
.
of functional dependencies to be in
canonical form.

Lossless-join is guaranteed by the requirement that a candidate
key for
be in at least one of the schemes.

The set
of functional dependencies is

The for loop in the algorithm gives us the following decomposition:

Since Banker-scheme contains a candidate key for Banker-info-scheme, the process is finished.
