Based on indispensable relations, r

Based on indispensable relations, reduct and core are defined as follows: Q ⊆ P is a reduct of P, if Q is independent and IND(P) = IND(Q). The core of P is defined as the common parts of all reducts, i.e. CORE(P) = REDUCT(P). It is easy to infer that P can have many reducts, but only has one core.

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

ขึ้นอยู่กับความสัมพันธ์สำคัญ reduct และหลักณ defined: Q ⊆ P เป็น reduct P ถ้า Q เป็นอิสระและ IND(P) = IND(Q) หลักของ P เป็น defined ส่วนทั่วไปของ reducts ทั้งหมด เช่น CORE(P) = REDUCT(P) ซึ่งง่ายต่อการเข้าใจว่า P ได้ reducts หลาย แต่มีหนึ่งหลัก

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

ขึ้นอยู่กับความสัมพันธ์ที่ขาดไม่ได้ reduct และแกนมีนิยามดังนี้ Q ⊆ p คือ reduct ของ P ถ้าถามความเป็นอิสระและ IND (P) = IND (Q) หลักของ P คือนิยามเป็นชิ้นส่วนที่พบบ่อยของ reducts ทั้งหมดคือ CORE (P) = reduct (P) มันง่ายที่จะสรุปว่า P ​​สามารถมี reducts จำนวนมาก แต่มีเพียงหนึ่งหลัก

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

ตามหลักที่ขาดไม่ได้ สัมพันธ์ และ reduct de จึงเน็ดดังนี้ : Q ⊆ P คือ reduct P ถ้า q เป็นอิสระและ IND ( P ) = IND ( q ) หลักของ P คือ เดอ จึงเป็นส่วนที่พบโดยทั่วไปของเน็ดทั้งหมด reducts คือแก่น ( P ) = reduct ( P ) มันง่ายที่จะอนุมานว่า P ก็มีหลาย reducts แต่มีเพียงหนึ่งหลัก