Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

บทบาทที่เรียบง่ายเมื่อเทียบกับคอมเพล็กซ์

ปล่อย \ (\ mathcal {R} \) เป็นลำดับชั้นของบทบาทและปล่อยให้ \ (\ sqsubseteq ^ {*} _ {\ mathcal {R}} \) จะปิดสะท้อนและ transitive ของ

  • บทบาท \ (r \) มีความซับซ้อน WRT \ (\ mathcal {R} \) ถ้ามีบทบาท \ (s \) นั้น \ (\ text {} ทรานส์ (s) \ in \ mathcal {R} \ ) และ \ (s \ sqsubseteq ^ {*} _ {\ mathcal {R}} r \)
  • มิฉะนั้นบทบาท \ (r \) เป็นเรื่องง่าย

ตัวอย่าง:

\[\mathcal{R}=\{ u \sqsubseteq r , r \sqsubseteq s , s \sqsubseteq t , q \sqsubseteq t , \text{Trans}(r) \}\]

คอมเพล็กซ์: \ (R, S, \ t)

ง่าย: \ (U, Q \)


    Speaker notes:

    Content Tools

    Sources

    There are currently no sources for this slide.