Canonical cover
ایف کے لیے کینونکل کور (ریلیشن اسکیم پر فنکشنل انحصار کا ایک مجموعہ) انحصار کا ایک مجموعہ ہے جس میں ایف منطقی طور پر تمام انحصار کو ظاہر کرتا ہے، اور منطقی طور پر ایف میں تمام انحصار کو ظاہر کرتا ہے۔ سیٹ کی دو اہم خصوصیات ہیں: کسی بھی فنکشنل انحصار میں کوئی غیر معمولی خاصیت نہیں ہوتی ہے۔ فنکشنل انحصار کا ہر بائیں طرف منفرد ہے۔ یعنی اس میں کوئی دو انحصار نہیں ہیں۔ ایک کینونکل کور فنکشنل انحصار کے دیئے گئے سیٹ کے لیے منفرد نہیں ہے، اس لیے ایک سیٹ F میں متعدد کور ہو سکتے ہیں۔ کینونکل کور کی کمپیوٹنگ کے لیے الگورتھم دہرائیں: کسی بھی انحصار کو شکل اور اس کے ساتھ تبدیل کرنے کے لیے یونین رول کا استعمال کریں۔ ایک غیر معمولی خاصیت کے ساتھ ایک فعال انحصار تلاش کریں اور اسے حذف کریں۔ جب تک کہ کینونکل کور کی مثال تبدیل نہ ہو۔ مندرجہ ذیل مثال میں، ایف سی ایف کا کینونکل کور ہے۔ درج ذیل کو دیکھتے ہوئے، ہم کینونکل کور تلاش کر سکتے ہیں: R = {A → BC, B → C, A → B, AB → C} {A → BC, B → C, A → B, AB, AB → C} {A → BC, B → C, A → AB, AB → C فنکشنل انحصار کے ایک سیٹ اور فنکشنل انحصار کو دیکھتے ہوئے، یہ خاصیت غیر معمولی ہے اگر اور اس میں سے کسی بھی فنکشنل انحصار کو آرمسٹرانگ کے محوریات کا استعمال کرکے ظاہر کیا جاسکتا ہے۔ ایک متبادل طریقہ استعمال کرتے ہوئے، فنکشنل انحصار کے سیٹ کو دیکھتے ہوئے، اور ایک فنکشنل انحصار X → A میں، خاصیت Y X میں غیر معمولی ہے اگر، اور۔ مثال کے طور پر: اگر F = {A → C، AB → C}، تو B، AB → C میں غیر معمولی ہے کیونکہ A → C کا اندازہ B کو حذف کرنے کے بعد بھی لگایا جا سکتا ہے۔ یہ درست ہے کیونکہ اگر A فنکشنل طور پر C کا تعین کرتا ہے، تو AB فنکشنل طور پر بھی C کا تعین کرتا ہے۔ اگر F = {A → D, D → C, AB → C}، B AB → C میں غیر معمولی ہے کیونکہ {A → D, D → C, AB → C} منطقی طور پر A → C کا مطلب ہے۔ غیر معمولی منحصر صفات فنکشنل انحصار اور فنکشنل انحصار کے ایک سیٹ کو دیکھتے ہوئے، خاصیت غیر معمولی ہے اگر اور اس میں سے کسی بھی فنکشنل انحصار کو آرمسٹرانگ کے محوریوں کا استعمال کرکے ظاہر کیا جاسکتا ہے۔ فنکشنل انحصار کی ایک منحصر خاصیت غیر معمولی ہے اگر ہم اس فنکشنل انحصار میں تعیناتی صفات کے سیٹ کی بندش کو تبدیل کیے بغیر اسے ہٹا سکتے ہیں۔ مثال کے طور پر: اگر F = {A → C, AB → CD}، C AB → CD میں غیر معمولی ہے کیونکہ AB → C کا اندازہ C کو حذف کرنے کے بعد بھی لگایا جا سکتا ہے۔ اگر F = {A → BC, B → C}، C A → BC میں غیر معمولی ہے کیونکہ A → C کا اندازہ C کو حذف کرنے کے بعد بھی لگایا جا سکتا ہے۔ حوالہ جات ڈیٹا بیس تھیوری ریاضیاتی تصورات ڈیٹا بیس الگورتھم