Functional dependency in relational databases (adapted after M.Y.Vardi's survey)

These are the first version of suggested lecture notes for a second level course on advanced topics in database systems for master's students of Computer Science. A prerequisite in algorithms and an exposure to database systems are required. Additional reading may require exposure to mathematical logic which seems to be getting outdated going by newer editions of Computer Science theory books. These notes are from M.Y.Vardi's survey listed under references. This select rewrite on functional dependency is intended to provide a few clarifications while avoiding topics relating to logic.