database - 使用对象角色建模 (ORM) 的关系模型中的动态类型

Question

在对象角色建模 (ORM) 中，给定一个 thing 实体，它与 type 实体有关系，并且可以指定类型实体存在的位置和事物实体可以具有出生日期值，如果与事物关联的类型实例未设置为事件，我将如何指定一个约束，以排除事物实例具有出生日期值。请参见下图...

ORM Diagram of Model to be constrained http://img197.imageshack.us/img197/6551/dynamictypeorm.jpg

我的问题背后的目的是允许在不清楚类型是什么但类型的特征已知的情况下在系统中对类型进行建模。如果您觉得有更适用的方法，则您的答案不必是 ORM。感谢阅读，希望你能帮助我。

Answer 1

John Sanders 推荐的这本书是我读过的最好的书之一。此外，您所有的 ORM 问题很可能通过阅读它来回答。

不过，为了直接回答您的问题(并回避任何关于模型有效性的问题)，我认为有两种明显的方法可以按原样对其进行约束。

我们可以使用子集约束或等式约束，具体取决于您实际想要捕获的内容。

在角色之间分配一个等式约束(右)，我们可以生成一个约束，在概念上要求任何活类型的事物都有出生日期，并且任何有出生日期的事物都是活类型。

在角色之间分配子集约束(左)，我们可以约束模型，使得具有 DateOfBirth 的类型的任何事物必须属于活着的类型。与等式约束不同，这将允许事物具有生命类型，但没有出生日期。

添加:
要创建这些类型的子集和等式约束，我们需要使用一种叫做 'Join Path' 的东西。 .使用连接路径，我们可以创建连接子集约束和连接相等约束，它们将跨越约束两侧的多个角色。 Examples连接路径的组合有时会很明显且易于遵循。但也能得到一点overwhelming有时很复杂。还要注意的是，尽管 NORMA 确实支持创建连接路径，但在相等性、子集和排除约束中，对它们的描述并不是 100% 完整，如 here 所解释的那样。 .这也是目前使用子集更容易的原因之一，因为更容易从概念上验证模型的正确性。

要在为子集、相等性或排除约束分配角色时在 NORMA 中创建连接路径，首先通过单击分配属于路径一部分的所有角色，然后双击移动到下一个路径。当约束能够连接路径时，该约束中涉及的角色将被标记为 [#.#]，而不仅仅是 [#]。因此，当我们创建约束时，我们可以在这里说角色 [1.1]&[1.2] 是角色 [2.1]/[2.1] 的子集/等于角色 [2.1]/[2.1]。请注意，在每个角色中发挥作用的事实也必须匹配。所以我们从 NORMA 那里得到了一段口头表达:
如果某些事物有一些出生日期；某些事物属于某种类型，那么该事物属于某种类型； Type 是活的。最好表述为:如果某种类型的某些事物具有某些出生日期；那么那个Type是活的。

然而，还有第三种(也是更好的)方法可以限制它，那就是子类型化。由于有生命的事物和没有生命的事物非常不同，我们可能无论如何都不想将它们映射到相同的表。在这里，我们将类型事实拆分为两个子类型，OrganicTypes 和 NonOrganicTypes。两个子类型之间的异或约束告诉我们每个类型要么是有机的，要么是非有机的。注释告诉我们用于确定类型属于哪个组的派生规则。从那里，我们将 [Thing is of Type] 角色重新定义为 [LivingThing is of OrganicType]。由于根据定义 OrganicThings 具有生命能力，因此我们对 DOB/is living 的约束现在已内置到模型中。