NPTEL Video Course : NOC:Introduction to Database Systems

Lecture 23 - Proving soundness and completeness of Armstrong's Axioms