π 科目番号,科目名,成績 (科目⋈(σ 学籍番号='00100' (履修))
科目番号
科目名
成績
001
データベース
90
002
システム
プログラム
65
︙
学籍番号00100の成績
(科目番号,科目名,成績)