An algorithm for synthesizing a logic database schema

Abstract

An improved algorithm for synthesizing a database schema is considered. The schema that results from this procedure is proved to be in Codd’s third normal form and to possess losslessjoin property. It produces result even though some of the universal schema’s attributes are not implicate in functional dependencies.