Lossless Decomposition& 4NF Prof. Sin-Min Lee Department of Computer Science 1. Closure Given a set of functional dependencies, F, its closure, F+ , is all FDs that are…