π学籍番号((σ 科目番号='005'(履修))⋈成績>成績00100
(δ成績←成績00100(π成績(σ科目番号=005∧学籍番号='00100'(履修))
|
学籍番号 |
|
00001 |
|
00008 |
|
︙ |
|
科目番号 |
学籍番号 |
成績 |
|
005 |
00001 |
80 |
|
005 |
00003 |
40 |
|
︙ |
︙ |
︙ |
|
成績00100 |
|
80 |
σ 科目番号='005'(履修)
δ成績←成績00100(π成績
(σ科目番号=005∧学籍番号='00100'(履修)
π学籍番号(…⋈成績>成績00100…)