To check if a dependency    is p

To check if a dependency    is preserved in a decomposition of R into R1, R2, …, Rn we apply the following test (with attribute closure done with respect to F)

ผลลัพธ์ (ไทย) 1:

การตรวจสอบถ้าการอ้างอิงยังคงอยู่ในการแยกส่วนประกอบของ R เป็น R1, R2,... Rn เราใช้ต่อไปนี้ทดสอบกับปิดแอตทริบิวต์ทำกับ F)

ผลลัพธ์ (ไทย) 2:

ในการตรวจสอบว่าการพึ่งพาที่จะได้รับการบันทึกไว้ในโครงข่ายของข้อมูลการทำ R ใน R 1 R 2 ........................ RN เราใช้การทดสอบต่อไปนี้:(พร้อมด้วยการปิดแอตทริบิวต์ทำด้วยความเคารพใน f )