This paper develops a method that maps an enhanced Entity-Relationship (ER+) schema into a relational schema and normalizes the latter into an inclusion normal form (IN-NF). Unlike classical normalization that concerns individual relations only, IN-NF takes interrelational redundancies into account and characterizes a relational database schema as a whole. The paper formalizes the sources of such interrelational redundancies in ER+ schemas and specifies the method to detect them. Also, we describe briefly a Prolog implementation of the method, developed in the context of a Computed-Aided Software Engineering shell and present a case study.
Kolp, M., & Zimanyi, E. (2000). Enhanced ER to relational mapping and interrelational normalization. Information and Software Technology, 42(15), 1057-1073. https://doi.org/10.1016/S0950-5849(00)00132-4 (Original work published 2000)