哪些 SQL 数据库支持 CHECK 约束中的子查询？

Question

哪些 SQL 数据库（如果有）支持 CHECK 约束中的子查询？

目前，据我所知，Oracle、MySQL 和 PostgreSQL 还没有。

编辑

（基于初步答案的澄清。）我正在寻找这样的东西：

CREATE TABLE personnel (
  ...,
department VARCHAR(64) NOT NULL,
salary NUMERIC NOT NULL,
CHECK (salary >= (SELECT MIN(p.salary) FROM payranges p WHERE p.dept = department)
        AND
       salary <= (SELECT MAX(p.salary) FROM payranges p WHERE p.dept = department)
)

更新

MS Access 和 Firebird 都支持此功能。

Answer 1

Access 数据库引擎（ACE、Jet 等）支持 CHECK 约束中的子查询，但我不愿称其为 SQL DBMS，因为它不支持入门级标准 SQL-92 和MS 和 Access 团队几乎没有记录 Access CHECK 约束。

例如，我可以演示 Access CHECK 约束检查受影响的每一行（SQL-92 指定应该在每个 SQL 语句之后检查它们）但这是一个错误还是一个我们不知道的功能，因为没有可参考的文档。

---

这是一个包含子查询的 CHECK 约束的非常简单的示例。它符合完整的 SQL-92 并且在 Access 中运行良好。想法是将表限制为最多两行（以下 SQL DDL 需要 ANSI-92 Query Mode 例如使用 ADO 连接，例如 Access.CurrentProject.Connection）：

CREATE TABLE T1 
(
 c INTEGER NOT NULL UNIQUE
);

ALTER TABLE T1 ADD
   CONSTRAINT max_two_rows
      CHECK (
             NOT EXISTS (
                         SELECT 1
                           FROM T1 AS T
                         HAVING COUNT(*) > 2
                        )
            );

但是，这里还有一个 SQL-92 示例，可以在 Access 中创建（一些有效的CHECKs 在 Access 中失败，出现可怕的崩溃，需要重新启动我的机器 :( 但不能正常运行. 这个想法是只允许表中恰好有两行（或零行：不对空表测试约束）：

CREATE TABLE T2 
( 
 c INTEGER NOT NULL UNIQUE 
);

ALTER TABLE T2 ADD 
   CONSTRAINT exactly_two_rows 
      CHECK ( 
             NOT EXISTS ( 
                         SELECT 1 
                           FROM T2 AS T 
                         HAVING COUNT(*) <> 2 
                        ) 
            );

尝试在同一语句中插入两行，例如（假设表T1 至少有一行）：

SELECT DT1.c
  FROM (
        SELECT DISTINCT 1 AS c
          FROM T1
        UNION ALL
        SELECT DISTINCT 2
          FROM T1
       ) AS DT1;

但是，这会导致CHECK 咬人。这（以及进一步的测试）意味着CHECK 在每行添加到表后进行测试，而 SQL-92 指定在 SQL 语句级别测试约束。

当您考虑到在 Access2010 之前它没有任何触发器功能并且某些经常使用的表在其他情况下没有真正的情况时，Access 具有真正的表级 CHECK 约束，这应该不足为奇键（例如，有效状态时态表中的“排序”键）。请注意，Access2010 触发器与它们在行级别而不是语句级别进行测试的错误/功能相同。

以下是复现上述两种场景的VBA。复制并粘贴到任何 VBA/VB6 标准 .bas 模块（例如使用 Excel）中，无需参考。在您的临时文件夹中创建一个新的 .mdb，创建约束工作/不工作的表、数据和测试（提示：设置断点，单步执行代码，读取 cmets）：

Sub AccessCheckSubqueryButProblem()

  On Error Resume Next
  Kill Environ$("temp") & "\DropMe.mdb"
  On Error GoTo 0

  Dim cat
  Set cat = CreateObject("ADOX.Catalog")
  With cat
    .Create _
        "Provider=Microsoft.Jet.OLEDB.4.0;" & _
        "Data Source=" & _
        Environ$("temp") & "\DropMe.mdb"
    With .ActiveConnection

      Dim Sql As String

      Sql = _
      "CREATE TABLE T1 " & vbCr & _
      "( " & vbCr & _
      " c INTEGER NOT NULL UNIQUE " & vbCr & _
      ");"
      .Execute Sql

      Sql = _
      "ALTER TABLE T1 ADD " & vbCr & _
      "   CONSTRAINT max_two_rows " & vbCr & _
      "      CHECK ( " & vbCr & _
      "             NOT EXISTS ( " & vbCr & _
      "                         SELECT 1 " & vbCr & _
      "                           FROM T1 AS T " & vbCr & _
      "                         HAVING COUNT(*) > 2 " & vbCr & _
      "                        ) " & vbCr & _
      "            );"
      .Execute Sql

      Sql = _
      "INSERT INTO T1 (c) VALUES (1);"
      .Execute Sql

      Sql = _
      "INSERT INTO T1 (c) VALUES (2);"
      .Execute Sql

      ' The third row should (and does)
      ' cause the CHECK to bite
      On Error Resume Next
      Sql = _
      "INSERT INTO T1 (c) VALUES (3);"
      .Execute Sql
      MsgBox Err.Description
      On Error GoTo 0

      Sql = _
      "CREATE TABLE T2 " & vbCr & _
      "( " & vbCr & _
      " c INTEGER NOT NULL UNIQUE " & vbCr & _
      ");"
      .Execute Sql

      Sql = _
      "ALTER TABLE T2 ADD " & vbCr & _
      "   CONSTRAINT exactly_two_rows " & vbCr & _
      "      CHECK ( " & vbCr & _
      "             NOT EXISTS ( " & vbCr & _
      "                         SELECT 1 " & vbCr & _
      "                           FROM T2 AS T " & vbCr & _
      "                         HAVING COUNT(*) <> 2 " & vbCr & _
      "                        ) " & vbCr & _
      "            );"
      .Execute Sql

      ' INSERTing two rows in the same SQL statement
      ' should succeed according to SQL-92
      ' but fails (and we have no docs from MS
      ' to indicate whether this is a bug/feature)
      On Error Resume Next
      Sql = _
      "INSERT INTO T2 " & vbCr & _
      "   SELECT c " & vbCr & _
      "     FROM T1;"
      .Execute Sql
      MsgBox Err.Description
      On Error GoTo 0


    End With
    Set .ActiveConnection = Nothing
  End With
End Sub

Answer 2

Firebird documentation 表示它允许在 CHECK 约束中进行子查询。

Answer 3

SQL Server 2000+ 允许包含查询的 UDF：您不能直接使用子查询

但是，他们不是concurrent under high loads

Answer 4

H2 还支持约束中的子查询。在 Psql 模式下也不少 :P

MariaDB 不 似乎也支持它as a constraint。

ALTER TABLE Table_1 ADD CONSTRAINT constraint_1 
CHECK (column_1 > (SELECT MAX(column_2) FROM Table_2) NOT DEFERRABLE;

重要 因为本书是关于 SQL-99 标准的，所以本书中这一页和其他页面的内容可能并不直接适用于 MariaDB。使用导航栏浏览图书。

这种事情曾经是非法的，但在 SQL 的现代变体中， 您会偶尔看到表间约束引用。

供参考，this is the ticket for implementing check constraints on MariaDB。截至 2015 年 7 月 23 日，它仍处于“开放”状态。

Answer 5

很确定 TRIGGER 将在您提到的每个数据库中工作，并且您有更多的“肘部空间”来解决您的约束。

Answer 6

SQL 服务器支持 您可以在以下链接中找到有价值的信息

http://www.craigsmullins.com/sql_1298.htm

他们说 POSTGRESQL 也支持它

http://developer.postgresql.org/pgdocs/postgres/ddl-constraints.html

DB2 支持 CHECK 约束

http://www.ibm.com/developerworks/data/library/techarticle/dm-0401melnyk/