https://slideey.com/lecture-6-schema-refinement-functional-dependencies/