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.

QL นกฮูก

  • QL ภาษาของแบบสอบถาม =
  • อยู่บนพื้นฐานของครอบครัว DL-Lite ของ logics คำอธิบาย
  • ออกแบบมาสำหรับการตอบแบบสอบถามใช้ SQL เขียนใหม่ด้านบนของฐานข้อมูลเชิงสัมพันธ์
  • subclasses สามารถเป็นชื่อชั้นหรือ existentials ด้วยฟิลเลอร์ จำกัด
  • superclasses สามารถเป็นชื่อชั้น, existentials หรือสันธานกับสารตัวเติม superclass (recursive) หรือ negations ด้วยฟิลเลอร์รอง

อนุญาตให้

\[\text{Fish} \sqsubseteq \text{Animal}\]

\[\exists \text{hasHouse}.\top \sqsubseteq \text{Landlord}\]

หวงห้าม

\[\exists \text{hasHouse}.\text{Villa} \sqsubseteq \text{RichLandlord}\]

\[\text{Student} \sqsubseteq \text{Poor} \sqcap \exists \text{hasBike}.\top \sqcap \neg \text{Pupil}\]



Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.