for each schema in D do
:= the restriction of to ;
for each restriction do
if ( ) then return (true)
else return (false);
bname assets bcity
can be tested in one relation on Branch-schema.
loan# amount bname
can be tested in Loan-schema.
Really we only need to know whether the functional dependencies in F and not in F' are implied by those in F'.
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: