Given a set F of functional dependencies, it may be that an entire functional dependency in the set is extraneous, in the sense that dropping it does not change the closure of F
ได้รับ F ตั้งค่าที่เต็มไปด้วยประโยชน์ใช้สอยของโพรเซสแต่อาจจะเป็นไปได้ว่าทั้งหมดเต็มไปด้วยประโยชน์ใช้สอย ซึ่งจะช่วยในการพึ่งพาที่ตั้งไว้คือที่อยู่นอกวงในความหมายที่ว่านั้นจะไม่เปลี่ยนการปิด ของ F