Justification for inclusion dependency normal form (2000)

by M Levene, M W Vincent
Venue:IEEE Transactions on Knowledge and Data Engineering