SQL 断言：管理器复合体

Question

我有以下架构：

Emp(eid int, ename varchar(50), salary float, email varchar(80))

Works(eid int, did< /strong> int, pct_time float)

Dept(did int, Budget float, managerid int)

eid 是员工 ID。 did 是部门 ID。 我已将主键加粗。 managerid是外键，Works中的eid和did也是如此。

现在，我想添加一个“经理复合体”断言，以确保经理的薪水始终高于他/她管理的任何员工。

这就是我一直在想的：

CREATE ASSERTION managerComplex
CHECK
( NOT EXISTS (SELECT  M.salary  
              FROM Dept D, Emp M 
              WHERE D.managerid = M.eid) <= 
                                           (SELECT E.salary
                                            FROM Works W, Emp E
                                            WHERE W.eid = E.eid) AND
                                                                     D.did = W.did);

这是否接近正确？ 另外，也许我应该只进行几次检查而不是插入？ 我觉得多次检查比较草率，但可能更容易正确。

编辑：我问的主要原因是因为我不知道我是否正确理解不存在

Answer 1

我认为你很接近。我对您的试用版的编辑：

CREATE ASSERTION managerComplex
CHECK
( NOT EXISTS ( SELECT  *
               FROM Dept D, Emp M 
               WHERE D.managerid = M.eid
                 AND M.salary < ANY
                               ( SELECT E.salary
                                 FROM Works W, Emp E
                                 WHERE W.eid = E.eid 
                                   AND D.did = W.did
                                   AND M.eid <> E.eid
                               )
             )
)

Answer 2

要使 NOT EXISTS ( SELECT ...) 为 true，SELECT ... 必须不返回任何结果。

您想要创建一个 SELECT 语句，该语句将返回薪水高于其所在部门列出的经理的所有员工。看看您是否可以编写该查询，然后将其放入 NOT EXISTS 中。

我不完全确定您编写的内容是否有效 SQL，但它肯定不是您想要的。我有一个可能的答案给你，但由于这是标记为家庭作业的，我想在提供完整的答案之前尝试向你指出正确的方向。

---

正如OP所说，作业已上交...

CREATE ASSERTION managerComplex
CHECK
(NOT EXISTS (SELECT E.salary
             FROM Emp M, Dept D, Works W, Emp E
             WHERE M.eid = D.managerid AND 
                   W.did = D.did AND
                   E.eid = W.eid AND
                   E.salary > M.salary))

我的NOT EXISTS内部有一个查询，如果有任何员工的工资高于其各自经理的工资，它将返回结果。我查看为某个部门工作的所有员工，只有当他们的工资高于该部门经理的工资时，才将他们拉入结果集。

我什至不确定你的 SQL 是否有效，因为你有一个 (SELECT ...) <= (SELECT ...) AND ...。将结果集与 <= 进行比较对我来说没有任何意义。这可能只是我从未使用过的 SQL，但是...我从未使用过它。