A methodology and tool for automated derivation of functional dependencies | IEEE Conference Publication | IEEE Xplore