在这种情况下，如何在 ER 模型中转换 (0,N)(0,N)(0,N) 三元关系？

Question

假设为实体： 家庭作业， 学生， 回答

和约束（仔细看约束1）：

    1)A STUDENT can give only 1 ANSWER for the same HOMEWORK
    2) A HOMEWORK can be solved by (0,N) STUDENT each giving their answer
    3)AN ANSWER can be submitted by (0,N) STUDENT 
    4)(Obviously it is possible to give the same answer
for different HOMEWORK 
and that different STUDENT can give the same answer for the same HOMEWORK)

示例：

HOMEWORK STUDENT ANSWER
 XXX       A        1
 XXX       B        1
 XXX       C        2
 YYY       B        1
 YYY       C        1
 ZZZ       A        3
 ZZZ       C        1

注意学生不可能为同一个家庭作业提交 2 个解决方案； 因此不应允许插入行 XXX A 2

我会用三元关系建模：

    STUDENT---------(0,N) <DO>(0,N)---------HOMEWORK
                           (0,N)
                            |
                            |
                          ANSWER

然后使用通常的转换算法转换为关系模型：

-- -- means FOREIGN KEY 
 _____ means PRIMARY KEY

 DO(HOMEWORK,STUDENT,ANSWER) 
    -- -- -- -- -- -- -- -- 
    _______________________ 
 HOMEWORK(with his attributes)
 STUDENT(with his attributes)
 ANSWER(with his attributes)

由于 ANSWER 是主键的一部分，这意味着学生可以提交不同的答案来解决相同的作业； 这违反了所需的约束。

可能我会解决这个问题：

1)-transforming the ternary relationship DO in a binary relationship and adding an attribute ANSWER to DO
-then create a trigger to check that the value of answer in DO is a possible answer.

Or 

2)Keep ternary relationship but use another trigger

但我想知道你的意见。（例如，如果你会在 ER 中以不同的方式模拟这个问题）。

PS - 我使用 Postgres

Answer 1

如果我没有正确理解规范，我认为您的问题可以在不使用触发器的情况下建模，只需在表示三元关系的 table 上引入约束即可。

让我们按以下方式定义它（属性“fkT”代表table T的外键）：

ProposedSolution (fkAnswer, fkHomework, fkStudent)
  primary key (fkAnswer, fkHomework, fkStudent),
  unique (fkHomework, fkStudent)

请注意，主键约束使学生、答案和家庭作业的组合变得唯一，同时允许这样的事实，例如，不同的学生可以给出相同的解决方案（即对相同家庭作业的相同答案），或者学生可以针对不同的作业给出相同的答案。

还有待强制执行的是约束1：即学生不能对同一个作业给出多个答案。但这是通过唯一约束解决的，它保证在 table 中我们不能有两个具有相同学生和家庭作业值的元组。