Musings about software development, agile methodologies, random thoughts, etc.
Thursday, December 27, 2007 -
General Unification Theorem Proof Concerning Functional Dependencies in Relational Databases
For a problem that was to be solved in my database systems graduate class this last semester, we were asked to prove a theorem by Hugh Darwen that is known as the General Unification Theorem concerning Functional Dependencies within Relational Databases.
