SQL断言：MGR_DEPT_ASSERT

Question

我的数据库中有以下表格

Employee(Fname, Lname, SSN(PK), Address, Salary, Dno(FK))

Department(Dname, Dnumber(PK), Mgr_ssn(FK))

我想创建一个断言，检查对于担任经理的员工，EMPLOYEE表中的部门编号（Dno）与他们在Department表中管理的部门的部门编号相匹配。

我创建了以下断言，但我不确定它是否满足要求。

  CREATE ASSERTION MGR_DEPT_ASSERT
CHECK ( EXIST (SELECT  SSN, Dnumber from 
Employee, Department WHERE Dno= Dnumber AND SSN=Mgr_ssn))

我将非常感谢你的帮助，

由于

Answer 1

没有

此断言将停止的唯一数据库值是空表。 （或者更准确地说，是导致空连接的任何事物。）

而BTW，为什么你想要ASSERTION吗？没有产品在实践中可靠地支持这一点。除非你愿意抛弃SQL，否则就是这样。