いくつかの相互に排他的なサブタイプを持つスーパータイプ/サブタイプの関係をモデル化する場合、この相互排他性を制約によってどのように強制する必要がありますか?
私の最初の推測は次のとおりです。
SuperType
(PK) super_id
(PK) type_id
Constraint: type_id in (1,2)
SubType1
(FK) super_id
(FK) type_id
Constraint: type_id = 1
SubType2
(FK) super_id
(FK) type_id
Constraint: type_id = 2