|
科目 |
||
|
科目番号 |
科目名 |
単位数 |
|
001 |
DB |
2 |
|
002 |
システム プログラム |
10 |
t1(科目番号)=001, t1(科目名)=DB, t1(単位数)=2
t2(科目番号)=002, ... (以下省略)
リレーションスキーマ 科目( 科目番号 , 科目名 , 単位数 )
各属性のドメイン
D科目番号 = {1以上999以下の整数}
D科目名 = {DB,...}
D単位数 = {1以上12以下の整数}
ti(Ak) ∈ Dk (1≤k≤n,1≤i≤m)
{科目番号,科目名,単位数}はドメインの和集合
ti:{科目番号,科目名,単位数} → D科目番号 ∪ D科目名 ∪ D単位数
tm:タプル変数