For the case of R = (R1, R2), we re

For the case of R = (R1, R2), we require that for all possible relations r on schema R
r = R1 (r ) R2 (r )
A decomposition of R into R1 and R2 is lossless join if and only if at least one of the following dependencies is in F+:
R1  R2  R1
R1  R2  R2

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

สำหรับกรณีของ R = (R1, R2), เราจำเป็นต้องมีที่สำหรับทั้งหมดได้ความสัมพันธ์ r บนแผน R
r = R1 R2 (r) (r)
เน่าของ R เป็น R1 และ R2 เป็นรวมดีถ้าและเฉพาะถ้าอย่างน้อยหนึ่งการอ้างอิงต่อไปนี้เป็น F:
R1  R2  R1
R1  R2  R2

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

สำหรับกรณีที่มีการ r =( r1 , R 2 )เราจำเป็นต้องให้เป็นไปได้ความสัมพันธ์ R ใน schema R
r = r 1 ( R ) r 2 ( R )
ที่แยกออกเป็นส่วนๆของ R เข้าไปใน R 1 และ R 2 เป็นการเข้าร่วมหากและเฉพาะในกรณีที่อย่างน้อยหนึ่งในลักษณะต่อไปนี้อยู่ใน F :
R 1  R 2  R 1
R 1  R 2  R 2