توی طراحی دیتابیس، یک سری قاعده داریم به اسم Armstrong Axiom.

این‌ها در واقع یه سری قانون رسمی برای استنتاج Functional Dependency‌ها هستن؛ یعنی کمک می‌کنن بفهمیم از روی یه‌سری وابستگی، چه وابستگی‌های دیگه‌ای منطقی نتیجه می‌شن.
کاربردش؟ وقتی می‌خوایم نرمال‌سازی انجام بدیم، کلید کاندید پیدا کنیم یا بررسی کنیم یه decomposition درسته یا نه.

این ویدیو رو خیلی رندوم پیدا کردم ولی خیلی خوب و تمیز توضیح داده. اگه به بحث‌های تئوری دیتابیس علاقه دارید، مخصوصاً بخش dependency و نرمال‌فرم‌ها، توصیه می‌کنم حتماً ببینید.
https://www.youtube.com/watch?v=TWAiz3BWHsw&t=7s