Reflexive rule − If alpha is a set

Reflexive rule
− If alpha is a set of attributes and beta is subset of alpha, then alpha holds beta.

Augmentation rule
− If a → b holds and y is attribute set, then ay → by also holds. That is adding attributes in dependencies, does not change the basic dependencies.

Transitivity rule
− Same as transitive rule in algebra, if a → b holds and b → c holds, then a → c also holds. a → b is called as a functionally that determines b.

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

กฎการสะท้อนกลับ −ถ้าชุดของแอตทริบิวต์และเบต้าเป็นอัลฟาเป็นของอัลฟา แล้วเก็บอัลฟาเบต้าเสริมกฎ −ถ้าถือ→ b และ y คือ ชุดแอตทริบิวต์ แล้ว→สาโดยมี ที่มีการเพิ่มแอตทริบิวต์ในอ้างอิง เปลี่ยนการอ้างอิงพื้นฐานกฎ transitivity −ที่เดียวกันเป็นกฎ transitive ในพีชคณิต ถ้าเก็บ→ b b → c ถือ แล้วยังถือ→ c → b จะเรียกว่าเป็นการตามหน้าที่ที่กำหนด b

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

กฎสะท้อน
- หากอัลฟาเป็นชุดของคุณลักษณะและเบต้าเป็นส่วนหนึ่งของอัลฟาอัลฟาแล้วถือเบต้า. กฎเสริม- หาก→ B ถือและ Y คือชุดแอตทริบิวต์แล้ว Ay →โดยยังถือ นั่นคือการเพิ่มแอตทริบิวต์ในการอ้างอิงไม่เปลี่ยนอ้างอิงพื้นฐาน. กฎ Transitivity - เหมือนกับกฎสกรรมกริยาในพีชคณิตถ้า→ B ถือและ B → C ถือแล้ว→ C ยังถือ →เป็น B จะเรียกว่าเป็นหน้าที่ที่กำหนดข

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

หัวข้อ : กฎบริษัท เวสเทิร์น ถ้าเราเป็นชุดคุณลักษณะและเบต้าเป็นเซตย่อยของอัลฟา , อัลฟาถือแล้วเบต้าเสริมกฎบริษัท เวสเทิร์น ถ้า→ keyboard - key - name B ถือและ Y เป็นคุณลักษณะชุด แล้วเอ→ keyboard - key - name โดยยังถือ ที่เพิ่มคุณลักษณะในการอ้างอิงไม่ได้เปลี่ยนการอ้างอิงพื้นฐานtransitivity กฎบริษัท เวสเทิร์น เช่นเดียวกับการปกครองในพีชคณิตถ้า→ keyboard - key - name B และ C B → keyboard - key - name ถือถือ แล้ว→ keyboard - key - name c ยังถือ A → keyboard - key - name B เรียกว่าเป็นหน้าที่ที่กำหนด .