Lending-schema = (bname, assets, bcity, loan#, cname, amount)
which we saw was a bad design.
bname assets bcityloan# amount bname
Branch-schema = (bname, assets, bcity)Loan-info-schema = (bname, loan#, amount)
Borrow-schema = (cname, loan#)
we claim this decomposition has several desirable properties.