Next, we define predicate h(R1, R2)

Next, we define predicate h(R1, R2) to indicate that the relationship between R1 and R2 is direct inheritance. Then we define r_ua(R, U) to represent that user(U) belonging to role(R) and user(U) is not inherited from other roles. Similarly, we define r_pa(R, P) to represent that role(R) has permission per(P) and per(P)is not inherited from other roles. Moreover, each role should cover the good cells as much as possible.

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

ถัดไป เรากำหนด h เพรดิเคต (R1, R2) เพื่อบ่งชี้ว่า ความสัมพันธ์ระหว่าง R1 และ R2 สืบทอดโดยตรง แล้วเรากำหนด r_ua (R, U) เพื่อแทนที่ user(U) เป็นของ role(R) และ user(U) ไม่ได้รับมาจากบทบาทอื่น ๆ ในทำนองเดียวกัน เรากำหนด r_pa (R, P) เพื่อเป็นตัวแทนที่มีสิทธิ์ per(P) role(R) และต่อ (P) ได้มาจากบทบาทอื่น ๆ นอกจากนี้ แต่ละบทบาทควรครอบคลุมเซลล์ดีมากที่สุด

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

ต่อไปเรากำหนด H กริยา (R1, R2) เพื่อบ่งชี้ว่าความสัมพันธ์ระหว่าง R1 และ R2 เป็นมรดกโดยตรง จากนั้นเรากำหนด r_ua (r U) จะเป็นตัวแทนของผู้ใช้ (U) ที่อยู่ในบทบาท (R) และผู้ใช้ (U) ไม่ได้รับการถ่ายทอดจากบทบาทอื่น ๆ ในทำนองเดียวกันเรากำหนด r_pa (r P) เพื่อเป็นตัวแทนของบทบาท (R) ได้รับอนุญาตต่อ (P) และต่อ (P) ไม่ได้รับการถ่ายทอดจากบทบาทอื่น ๆ นอกจากนี้แต่ละบทบาทควรจะครอบคลุมเซลล์ที่ดีให้มากที่สุด

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

ต่อไปเรานิยามภาคแสดง H ( R1 , R2 ) บ่งชี้ว่า ความสัมพันธ์ระหว่าง R1 กับ R2 เป็นมรดกโดยตรง แล้วเรากำหนด r_ua ( R , U ) เป็นตัวแทนของผู้ใช้ ( U ) ของบทบาท ( r ) และผู้ใช้ ( U ) ไม่ได้เป็นมรดกจากบทบาทอื่น ๆ ในทำนองเดียวกัน เรากำหนด r_pa ( R , P ) เพื่อแสดงถึงบทบาทที่ ( R ) ได้ขออนุญาตต่อ ( P ) ต่อ ( P ) เป็นมรดกจากบทบาทอื่น ๆ นอกจากนี้ แต่ละบทบาทที่ควรครอบคลุมเซลล์ที่ดีมากที่สุดเท่าที่เป็นไปได้