Constraint
覆蓋和重疊約束
假設 E1 中有 15 個實體，E2 中有 20 個實體，E3 中有 25 個實體，那麼 E0 中的最大和最小實體數是多少？眾所周知，ISA 層次結構遵循覆蓋約束，但不遵循重疊約束。
我知道最大數字是 60，但是當涉及到最小值時我很困惑。
我感到困惑的是 E0 是否可以有 0 個實體（或少於 15+20+25=60 個實體）。我知道合併 E1、E2 和 E3 中的所有實體會給我們 E0 中的所有實體，但它也可以是空的嗎？
謝謝。
概括
- 遵循覆蓋約束，因此：
E1 ⋃ E2 ⋃ E3 = E0- 不遵循重疊的“約束”⇒ 是不相交的，所以：
E1 ⋂ E2 ⋂ E3 = ∅E 0中實體的最大和最小數量為 60。由於不允許重疊，因此將有 15 + 20 + 25 = 60 個不同的實體，由於覆蓋約束，它們同時是超實體 E 0的所有實體。
E 1 ⋃ E 2 ⋃ E 3 = E 0 ⇒ 最大值 {| E 1 |, | E 2 |, | E 3 |} ≤ | E 0 | ≤ | E 1 | + | E 2 | + | E 3 |
(E 1 ⋃ E 2 ⋃ E 3 = E 0 ⋀ E 1 ⋂ E 2 ⋂ E 3 = ∅) ⇒ | E 0 | = | E 1 + E 2 + E 3 |