Canonical cover
এফ-এর জন্য একটি ক্যানোনিকাল আবরণ (একটি সম্পর্ক পরিকল্পনার উপর কার্যকরী নির্ভরতার একটি সেট) নির্ভরশীলতার একটি সেট যেমন এফ যৌক্তিকভাবে সমস্ত নির্ভরতা বোঝায় এবং যৌক্তিকভাবে এফ-এ সমস্ত নির্ভরতা বোঝায়। সেটটির দুটি গুরুত্বপূর্ণ বৈশিষ্ট্য রয়েছেঃ কোনও কার্যকরী নির্ভরতা একটি বহিরাগত বৈশিষ্ট্য ধারণ করে না। একটি কার্যকরী নির্ভরতার প্রতিটি বাম দিক অনন্য। অর্থাৎ, কোনও দুটি নির্ভরতা নেই। একটি ক্যানোনিকাল আবরণ কার্যকরী নির্ভরতার একটি প্রদত্ত সেটের জন্য অনন্য নয়, তাই একটি সেট এফ-এর একাধিক আবরণ থাকতে পারে। একটি ক্যানোনিকাল প্রচ্ছদ গণনা করার জন্য অ্যালগরিদম পুনরাবৃত্তি করুনঃ ফর্ম এবং এর সাথে যে কোনও নির্ভরতা প্রতিস্থাপনের জন্য ইউনিয়ন নিয়মটি ব্যবহার করুন। একটি বহিরাগত বৈশিষ্ট্যের সাথে একটি কার্যকরী নির্ভরতা খুঁজে বের করুন এবং এটি থেকে মুছে ফেলুন। যতক্ষণ না ক্যানোনিকাল প্রচ্ছদ উদাহরণ পরিবর্তন না হয় নিম্নলিখিত উদাহরণে, এফসি হল এফ-এর ক্যানোনিকাল প্রচ্ছদ। নিম্নলিখিত প্রদত্ত, আমরা ক্যানোনিকাল প্রচ্ছদটি খুঁজে পেতে পারিঃ আর = (এ, বি, সি, জি, এইচ, আই) এফ = {এ → বিসি, বি → সি, এ → বি, এবি → সি} {এ → বিসি, বি → সি, এ → বি, এবি → সি কার্যকরী নির্ভরতার একটি সেট এবং কার্যকরী নির্ভরতার পরিপ্রেক্ষিতে, বৈশিষ্ট্যটি যদি বহির্মুখী হয় এবং যে কোনও কার্যকরী নির্ভরতা আর্মস্ট্রংয়ের স্বতঃসিদ্ধ ব্যবহার করে বোঝানো যেতে পারে। একটি বিকল্প পদ্ধতি ব্যবহার করে, কার্যকরী নির্ভরতার সেট এবং একটি কার্যকরী নির্ভরতা X → A দেওয়া, গুণ Y এক্স-এ বহিরাগত যদি, এবং। উদাহরণস্বরূপঃ যদি F = {A → C, AB → C} হয়, তাহলে AB → C-তে B বহিরাগত কারণ B মুছে ফেলার পরেও A → C অনুমান করা যেতে পারে। এটি সত্য কারণ যদি 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-তে বহিরাগত হয় কারণ C মুছে ফেলার পরেও AB → C অনুমান করা যেতে পারে।