因為AC→BDE即可構成完整的closure F+, 將F內的元素均分解右邊為單值如下(by Armstrong's axioms Additional rules): {AC → E,AC → D,BC → D,ACD → B,ACD → E} 可知 AC → E與ACD → E重複,故ACD → E是多餘的; AC → D與BC → D重複,又{A,C}為候選鍵,故是BC → D多餘的; 因為AC → D,故ACD → B可變成AC → B。 則F 之最小集合(Minimal Set)為{AC → BDE}