两列之一为空时的唯一索引

Question

（Rails 4.2.1，Sqlite3）我有三个模型 - M1、M2、M3。

M1 属于 M2

M1也属于M3

M1 有一个 :name （字符串）字段。

我有以下必须验证的约束：

1) M1 记录可以关联 M2 或 M3，但不能同时关联。

2) M1 名称在指定的 M2 或 M3 中必须是唯一的。

我已经在模型中实现了约束 (1)，它按预期工作。 （我提到它只是因为它可能与场景相关）。

对于约束（2），我在迁移中添加了一个索引，如下：

add_index :m1s, [:name, :m2_id, :m3_id], unique: true, name: "idx_m1_name"

然后我打电话：

> m2 = M2.create! # success
> m1_1 = M1.create!(name: 'm1_1', m2: m2) #success
> m1_2 = M1.create!(name: 'm1_1', m2: m2) # this line should fail, but doesn't

m1_1 和 m1_2 被创建 - 我希望 m1_2 由于唯一性约束而失败。

我检查了索引是否按预期添加。另外，根据约束 1，m3_id 在 m1_1 和 m1_2 中都是 nil，不确定是否相关。

为什么不检查约束？

Answer 1

所以m3_id 在这两种情况下都是NULL 吗？在 Sqlite3 中，空值被认为与唯一索引上下文中的另一个空值不同。

出于唯一索引的目的，所有 NULL 值都被视为 不同于所有其他 NULL 值，因此是唯一的

见https://sqlite.org/lang_createindex.html

我认为在 MySQL 和 Postgres 中也是如此。

Answer 2

你可以用两个索引来表达。

add_index :m1s, [:name, :m2_id], unique: true
add_index :m1s, [:name, :m3_id], unique: true

由于出于唯一性目的，空值被认为是不同的，因此第一个索引不会限制仅设置了 m3_id 的行，反之亦然，对于第二个索引。

（您可能还对CHECK constraint 感兴趣，它检查m2_id 或m3_id 中的一个是否为空。在Rails 中，CHECK 约束具有requiring the schema file to be expressed in SQL 的小警告。对于更一般的“仅适用于某些行的索引”的解决方案，请参阅partial indices。）