复杂的逻辑约束

Question

我试图在具有以下特征的架构上强制执行数据正确性：

表：

|SAVE_TYPE|PROFILE|USERNAME|DATA|

根据保存类型，将使用配置文件列或用户名列。想象一下，如果想要在配置文件范围内保存数据，那么我将插入以下行：

|SAVE_TYPE|PROFILE|USERNAME|DATA|
|PROFILE  |PROF. 1|Mr. X   |123 |

该行意味着数据将可用于配置文件 PROF。 1 并且由用户 X 先生插入。另一方面，在这种情况下：

|SAVE_TYPE|PROFILE|USERNAME|DATA|
|USER     |NULL   |Mr. X   |456 |

此行意味着数据仅适用于 X 先生。

我不知道实现约束的最佳方法是什么这种行为，可能是我应该使用另一个表结构（我愿意更改架构）。 现在我拥有的是 SAVE_TYPE、PROFILE 和 USERNAME 列的唯一约束，但这现在是完全正确的。我的模型接受的数据错误：

SAVE_TYPE 上的多个实例 -> USER 为同一用户。

|SAVE_TYPE|PROFILE|USERNAME|DATA|
|USER     |PROF. 1|Mr. X   |456 |
|USER     |PROF. 2|Mr. X   |456 |
|USER     |PROF. 3|Mr. X   |456 |

SAVE_TYPE 上的多个实例 -> PROFILE 为相同的配置文件。

|SAVE_TYPE|PROFILE|USERNAME|DATA|
|PROFILE  |PROF. 1|Mr. X   |123 |
|PROFILE  |PROF. 1|Mr. Y   |123 |
|PROFILE  |PROF. 1|Mr. Z   |123 |

预先感谢，希望我已经把事情说清楚了:)

Answer 1

“这一行意味着数据将可用于配置文件 PROF.1，并且由用户 X 先生插入。”

和

“这一行意味着数据仅适用于 X 先生。”

如果您的“行的含义”如此不同，那么这表明您手头的内容实际上应该是两个不同的表。

就关系理论而言：每个相关变量（“表”）都有一个关联的外部谓词（“表中的行实际意味着什么”）。因此，如果您有两个不同的谓词，那么您也应该有两个不同的相关变量。