can be tested in one relation on Branch-scheme.
can be tested in Loan-info scheme.
Really we only need to know whether the functional dependencies in and not in
are implied by those in
.
In other words, are the functional dependencies not easily checkable logically implied by those that are?
Rather than compute and
, and see whether they are
equal, we can do this: