テクニカルエンジニアデーターベース。スーパータイプ、サブタイプ問題。

平成１８年の問題を再度解いてみましたが、
しっくり来ないところでどうも考え込んでしまう癖があるようです。。
包含の問題は複雑そうに見えて実はそんなに難しくないのか。
とりあえずサブタイプの全ての集合がスーパータイプに含まれるか
どうか考えればいい。サブタイプの１つのインスタンスでも
スーパータイプに含まれない集合があったらＮＧということです。

そして、以下を考えだせたら、後は並べかえるだけ。。

自社設計区分⊃長納期部品
自社設計区分⊃通常納期部品
自社設計区分⊃納入指示部品
都度発注部品⊃長納期部品
都度発注部品⊃汎用調達部品
都度発注部品＝納入指示部品

しかし、実務においてスーパータイプ、サブタイプをテーブル化
したことは未だかつてないなぁ。
しなきゃいけないものなんだろうか。



しっくり来ないのは、通常納期部品＝納入指示部品だから、どっちを書いても正解なような気がするんだけど。よくわからないです。