if F is a set of functional depende

if F is a set of functional dependencies than the closure of F , denoted as F+ , is the set of all functional dependencies logically implied by F . Armstrong's Axioms are a set of rules,that when applied repeatedly, generates a closure of functional dependencies

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

ถ้า F เป็นชุดของการอ้างอิงทำงานกว่าปิดของ F ตาม F + เป็นชุดของการอ้างอิงทั้งหมดที่ทำงานทางตรรกะโดยนัย โดย F สัจพจน์ของอาร์มสตรองจะเป็นชุดของกฎ ที่ใช้ซ้ำ ๆ สร้างปิดทำงานอ้างอิง

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

ถ้า F เป็นชุดของการอ้างอิงการทำงานกว่าปิด F ที่แสดงเป็น F + เป็นชุดของการอ้างอิงการทำงานทั้งหมดนัยเหตุผลโดยเอฟ สัจพจน์ของอาร์มสตรองเป็นชุดของกฎที่เมื่อนำมาใช้ซ้ำสร้างปิดการอ้างอิงการทำงาน

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

ถ้า f เป็นชุดของการพึ่งพาการทำงานมากกว่าการปิดเอฟ กล่าวคือ เป็น F + เป็นชุดของการทำงานการอ้างอิงเหตุผลนัยโดย F . อาร์มสตรองเป็นสัจพจน์เป็นชุดของกฎที่เมื่อใช้ซ้ำ ๆสร้างการพึ่งพาการทำงาน