ฉันควรสร้างแบบจำลองความสัมพันธ์“ หรือ /” อย่างไร

ว่าฉันมีนิติบุคคลชื่อ Software และสองประเภทย่อย FreeSoftware และ NonFreeSoftware เอนทิตี NonFreeSoftware มีคุณสมบัติเช่นวันที่ซื้อ, ผู้ขาย, ฯลฯ เอนทิตี FreeSoftware มีคุณสมบัติเช่นใบอนุญาต, URL ของซอร์สโค้ดเป็นต้น

ดังนั้นหากฉันต้องการสร้างแบบจำลองเอนทิตีอื่นระบบปฏิบัติการฉันควรทำอย่างไร? มีความสัมพันธ์แบบ "เป็น" กับซอฟต์แวร์ แต่ความสัมพันธ์แบบ "หรือ" กับ FreeSoftware และ NonFreeSoftware

ฉันคิดว่าฉันขาดอะไรบางอย่างในแบบที่ฉันวิเคราะห์ลำดับชั้นนี้

วิธีจัดการสิ่งนี้คือประเภทย่อยของคุณจะต้องถูกกำหนดโดยประเภทพิเศษ (เช่น PK ของประเภทย่อยนั้นยังเป็น FK จากประเภทย่อยไปยังประเภท super)

ความท้าทายคือการเข้าใจว่าบางสิ่งมีความพิเศษเฉพาะตัวหรือไม่ คุณลักษณะของประเภทย่อยควรใช้กับประเภทย่อยเหล่านั้นเท่านั้น แต่อาจเป็นไปได้ว่าบางประเภทย่อยนั้นไม่สามารถใช้ร่วมกันได้

หากคุณมีประเภทย่อยแบบเอกสิทธิ์เฉพาะบุคคลบางอย่างร่วมกันคุณสามารถใช้แอ็ตทริบิวต์การแบ่งพาร์ติชันในประเภทแบบพิเศษเพื่อระบุประเภทย่อยแบบเอกสิทธิ์เฉพาะบุคคล (สองคนขึ้นไป) ที่ใช้ร่วมกัน แอ็ตทริบิวต์การแบ่งพาร์ติชันนี้สามารถใช้กับข้อ จำกัด หรือทริกเกอร์เพื่อบังคับใช้การผูกขาดเฉพาะซึ่งกันและกัน

หากคุณมีประเภทย่อยที่ไม่ได้เกิดร่วมกันพวกเขาสามารถอยู่ได้โดยไม่ต้องใช้คุณสมบัติการแบ่ง

พิจารณาตัวแบบข้อมูลนี้:

คุณมี super-types สามชนิด แต่FREE_SOFTWAREและNON-FREE_SOFTWAREชนิดเป็นแบบพิเศษร่วมกันโดยยึดตามSOFTWARE.free_not_freeแอ็ตทริบิวต์การแบ่งพาร์ติชัน ส่วนใดก็ตามของซอฟต์แวร์อาจเป็นไปได้OPERATING_SYSTEMเช่นกันไม่ว่าจะฟรีหรือไม่ก็ตาม

เหตุใดระบบปฏิบัติการจึงเป็นนิติบุคคลใหม่ที่สมบูรณ์แบบ ควรอยู่ภายใต้ Software หนึ่งนั่นคือสิ่งที่มันเป็น และระบบปฏิบัติการ (ถ้าปิดแหล่งที่มา) จะมีวันที่ซื้อ, ผู้ขาย, และระบบปฏิบัติการโอเพ่นซอร์สจะมีใบอนุญาต, URL ของซอร์สโค้ดเป็นต้น

ฉันอยากจะแนะนำความสัมพันธ์กับSoftwareTypeหรือสิ่งที่ตามสายเหล่านั้น นั่นคือเมื่อคุณสามารถ / ควรระบุว่าซอฟต์แวร์เป็นระบบปฏิบัติการหรือแอปพลิเคชันหรือซอฟต์แวร์ประเภทอื่น ๆ ที่คุณสนับสนุน