在 Freeform 模式中，引用模式显示在对象类型名称后面的括号中。如果应用了反向阅读，则使用反斜杠 (/) 来区分正向阅读和反向阅读。

    为实体类型提供引用方案后，就不需要在以后指定事实类型时重复引用方案了。与实体类型不同，值类型（例如，EmployeeName [雇员姓名]、RoomNr [房间号]）没有引用方案，由于其实例仅为文字常数（例如，用于命名或引用实体的字符串或数字），因此它们可以标识其自身。在 Freeform 模式中，值类型通过附加空括号 [()] 来标识。下面提供了使用正式的、自由绘制语法的某些事实类型的示例：

    Employee(empNr) works for / employs Department(code)Employee has EmployeeName()Employee has MobileNr()Employee drives / is driven by Car(regNr)
   
    现在，使用 Fact Editor （事实编辑器）输入这些事实类型（使用 Guided 或 Freeform 输入）。单击前三个事实类型后面的 Apply（应用） 按钮添加事实类型。输入第四个事实类型后，单击 OK（确定）。此操作将添加最后一个事实类型，并关闭 Fact Editor（事实编辑器）。这些事实类型尚未显示在绘图窗口中，但是现在已列在 Business Rules 编辑器中了。如果将光标移到其中一个 Fact Editor （事实编辑器）上，其右侧将显示一个 Edit（编辑） 按钮。如果单击 Edit（编辑） 按钮，将弹出 Fact Editor（事实编辑器），显示要编辑的事实类型。此操作提供了一种在 Fact Editor（事实编辑器） 中添加基本约束和示例的方法。

    使用 Fact Editor（事实编辑器）添加基本内部约束

    如果约束仅应用到一个谓词，则为内部约束，否则为外部约束。使用 Fact Editor（事实编辑器） 可以声明以下内部约束：内部唯一性、简单强制、内部频率和环式约束，但不能指定内部集合比较约束（例如，同一谓词的两个角色之间的排斥约束）、外部约束（例如，外部唯一性约束或两个谓词之间的集合比较约束）或值约束（例如，将 Sexcode [性别代码] 值限制为 {M, F}）。实际上，Fact Editor（事实编辑器） 中声明的约束最好限制为简单内部唯一性约束和简单强制约束。要声明其他类型的约束，有一个快捷方法（请参阅此系列文章的第二部分）。

    要向 Fact Editor（事实编辑器）中显示的事实类型添加约束，请选择 Constraints（约束）选项卡。默认情况下，constraints（约束）窗格将唯一性和强制性约束组合在一起，以便更快地对其做出指定。例如，在图 7 中，选择“exactly one”（恰好为一）表示“at least one”（至少一个，强制）和“at most one”（至多一个，唯一）两种情况。约束符号和描述信息将自动显示，以帮助用户查看选择的结果。如果不想使用默认的快捷方式，请打开 Database Modeling Preferences（数据库建模首选参数）对话框，并取消选中指示组合了唯一性和强制性的选项 (UM)。

    请添加以下约束，练习使用 Fact Editor（事实编辑器）添加约束。在当前版本的工具中，在最终的约束中使用“some”（某些）取代“the same”（同一），表示“drives”（拥有）关系是可选的并且是多对多的关系。

    Each Employee works for some DepartmentEach Employee works for at most one DepartmentEach Employee has some EmployeeNameEach Employee has at most one EmployeeNameEach Employee has at most one MobileNrIt is possible that the same Employee drives more than one Car and thatthe same Car is driven by more than one Employee

    在事实类型中添加示例

    最好为所有事实类型包含示例。要向 Fact Editor（事实编辑器） 中显示的事实类型添加约束，请单击 Examples（示例）选项卡，然后输入足够的示例以阐明相关约束。例如，Employee works for Department（雇员就职于部门）事实类型的三个事实示例。此处，雇员 101 和 102 就职于销售部门 (SLS)，而雇员 103 就职于市场部门 (MKTG)。这种填充与我们的解决方案一致，即每个雇员就职于至多一个部门（第一列中的值是唯一的），但是同一部门可以雇用一些雇员（SLS 在第二列中是重复的）。

    可以使用 Analyze（分析） 按钮来请求工具，减少示例中的约束，或者检查数据和约束规范之间是否存在不一致。自己试一试。此功能对于验证约束十分有用。

    保存模型

    要保存模型，请从 File （文件）菜单中选择 File | Save（文件 | 保存），或单击 Save （保存）图标。将会打开 SaveAs （另存为）对话框。选择要保存模型的文件夹，为模型添加文件名，在对话框中单击 Save（保存）按钮，然后在 properties 对话框中单击 OK（确定）。保存的文件将使用扩展名 .vsd（Visio 文档）。

    在绘图上显示句子类型

    要在图表中显示使用 Fact Editor（事实编辑器） 输入的句子类型，请在 Business Rules 编辑器中找到感兴趣的事实类型。要选择一系列连续的事实类型，请按住 Shift 键，并选择该系列的第一个和最后一个事实类型。所有事实类型（除第一个类型外）将突出显示。然后，将事实类型拖到绘图页面上所需的位置。

    现在，请尝试对模型中的四个事实类型执行此操作。默认情况下，您可以通过来回移动谓词文本和对象类型来优化显示。

    另一种便捷的方法是，打开 Business Rules（业务规则）窗口中的 Object Types。