3

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

要约束的模型的 ORM 图 http://img197.imageshack.us/img197/6551/dynamictypeorm.jpg

我的问题背后的目的是允许在不清楚类型将是什么时对系统内的类型进行建模，但类型的特征是已知的。如果您认为有更适用的方法，则您的答案不需要使用 ORM。感谢阅读，希望你能帮到我。

4

4 回答 4

4

约翰桑德斯推荐的这本书是我读过的最好的书之一。此外，您的所有 ORM 问题很可能都可以通过阅读来回答。

不过，要直接回答您的问题（并回避有关模型有效性的任何问题），我认为有两种明显的方法可以按原样约束它。

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

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

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

替代文字

补充：
为了创建这些类型的子集和等式约束，我们需要使用一个叫做'Join Path' 的东西。使用连接路径，我们可以创建一个 Join-Subset Constraint 和 Join-Equality 约束，它将跨越约束两侧的多个角色。 连接路径的示例有时很明显且易于遵循。但有时也会变得有点压倒性和复杂性。另外值得注意的是，尽管 NORMA 确实支持创建连接路径，但在相等、子集和排除约束中，它们的详细说明并不是 100% 完成的，如此处所述. 这也是目前使用子集更容易的原因之一，因为从概念上更容易验证模型的正确性。

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

替代文字

然而，我们可以通过第三种（也是更可取的）方式来限制这一点，那就是子类型化。因为活着的东西和不活着的东西有很大的不同，我们可能不希望将它们映射到同一个表。在这里，我们将 Type fact 拆分为两个子类型，OrganicTypes 和 NonOrganicTypes。两个子类型之间的 Exclusive Or 约束告诉我们，每种类型要么是 Organic，要么是 NonOrganic。Note 告诉我们用于确定类型属于哪个组的派生规则。从那里，我们将我们的 [Thing is of Type] 角色重新定义为 [LivingThing is of OrganicType]。并且由于定义上的 OrganicThings 是能够生命的，我们对 DOB/is living 的约束现在已内置到模型中。

替代文字

于 2009-06-07T22:15:53.820 回答
2

实际上，您的模型存在不止一个问题，即使它很简单。如果一个事物曾经存在，它可能有一个出生日期。它可能曾经是活的，但现在已经死了。

此外，您需要澄清“类型生活”这一事实的缺失是否意味着“类型不存在”（封闭世界假设），或者它是否仅意味着“类型不知道生活”（开放世界假设，I思考）。

我的另一个担忧是，您的问题似乎有些混乱，将“关系模型”和“ORM”结合在同一个“句子”中。对象角色建模是一种概念建模工具，用于创建概念模型，然后可以将其映射到关系模式。即使您正在对现有的关系模式进行逆向工程，最好只使用模式作为您将用于创建正确概念模型的信息的一部分。此外，使用有效输入和输出的示例，并与领域专家进行讨论。这通常会帮助您发现关系模式未捕获的重要约束，或者可能未正确捕获的重要约束。

顺便说一句，有关出色的 ORM 工具，请参阅NORMA。它是 Visual Studio 2005 或 2008（标准版或更高版本）的插件，并使用现代 ORM2 表示法。它可以为几个不同的数据库生成 SQL，以及 ER 图甚至代码。

另见本书：

于 2009-06-06T22:40:53.107 回答
0

据我了解， ORM（和领域模型）都是概念模型，用于分析业务领域，而不是设计解决方案。在这一层，引入“类型”或“动态类型”等概念为时过早，不适合模型的目的。

来自对象角色建模：概述

替代文字 http://i.msdn.microsoft.com/Aa290383.dv_vsea_ormoverview_06%28en-us,VS.71%29.gif

您可以在“活着”和“有出生日期”之间放置等式约束（带圆圈“=”符号的虚线）。类似于“被聘用”和“被承包到”。

于 2009-06-06T21:56:39.137 回答
0

在数据库上下文中，假设您有三个单独的表，我将创建一个函数来计算实体及其类型之间连接中的行数。在持有 DOB 的表中使用此函数来确保 DOB 为空或计数为 1。

伪代码：

 function fn_count_living(id)
     declare @count int
     select @count = count(*)
     from entities inner join types on entities.typeid = types.id
     where entities.id = id and types.living = 1
     return @count
 end

约束

 fn_count_living(entity_id) = 1 or dob is null
于 2009-06-06T21:57:25.813 回答