如何根据另一个实体的属性值创建派生实体（具有自己的属性）

Question

我有一个房地产实体。

我有一个带有属性的房地产类别实体：

• 号码
• 类型（房屋、公寓、工作室、田野、土地、办公室、 商业）
• 报价（出租、出售）
• 价格
• 表面

根据类型和报价的值，我需要创建具有自己属性的专用实体。

例子：

对于类型=房子或公寓

• 房间数
• 车库数量
• 设备齐全的厨房
• 花园表面

对于类型=房子

• 楼层数

for type = not field（除字段外的所有类型）

• 说明

对于类型 = 办公室或商业

• 表面
• 空格数

我如何在 ER 图中描述这些专业化（Peter Chen Notation）并在类图中进行后续翻译。

编辑见附图

Answer 1

您的方法几乎是正确的。唯一的问题是您需要将约束括在大括号中

根据以下 BNF，约束显示为大括号 ({}) 中的文本字符串：

<constraint> ::= ‘{‘ [ <name> ‘:’ ] <Boolean-expression> ‘ }’

（来自上层建筑 2.1.1 第 61 页）

您还应该删除if。

不幸的是，《上层建筑》是一个非常糟糕的文档。我无法找到<Boolean-expression> 的定义，但我会使用== 而不是=，就像在大多数类C 语言中一样。所以你的约束之一应该是

{Property.Category.Offer == "for rent"}