Database Normalization via Nonrepeating Groups: A Comparative Methodological Approach by Lemmas | IEEE Conference Publication | IEEE Xplore