データモデル.ppt

リレーショナルデータモデル 概要 スキーマとインスタンス 表形式による表現 リレーションの制約 第１正規形 整合性制約 ドメイン制約、キー制約、参照整合性制約、一貫性制約、従属性制約 リレーショナルデータモデル（復習） リレーショナルデータモデル 1970年にCoddによって提案される 従来のデータモデルと比べて、単純、データ独立性が高い 複数の属性の組み合わせによってそれぞれのリレーションを定義 リレーション同士の演算によりさまざまな処理を実現 可変長のデータやデータ構造が複雑なデータには不向き リレーショナルデータモデルの例（復習） 科目 科目番号 科目名 01 データベース 03 コンピュータグラフィックス ??? ??? 学生 学籍番号 氏名 0123001 尾下真樹 0123002 下戸彩 0123003 本村拓哉 ??? ??? 履修 科目番号 学籍番号 成績 01 0123001 60 03 0123002 80 01 0123003 70 ??? ??? スキーマとインスタンス（復習） リレーショナルモデルのスキーマ?インスタンス スキーマ リレーション名、リレーションの各属性名、ドメイン キー制約、参照整合性制約、属性制約などの制約 インスタンス 属性値の組によって表される各データの集合 従業員番号 部門番号 氏名 年齢 001 1 尾下 真樹 27 002 2 下戸 彩 17 003 3 本村 拓哉 30 従業員 スキーマ インスタンス ※ 実際には各種制約を含む スキーマとインスタンス スキーマ データベースに格納されるデータのデータ構造、データの型、データ同士の関連、各種制約を記述したもの 最初に一度定義したら基本的に変更されない インスタンス スキーマにもとづいて格納された実際のデータ データベースの利用に応じて追加?削除?変更される リレーションスキーマ リレーションスキーマの表現 R リレーション名 Ai 属性名 Di ドメイン（属性値のとりうる範囲） 例： 科目（科目番号、科目名、単位数）　　　D1（科目番号） = ｛001, 002, …｝, 　　　D2（科目名） = 文字列, D3（単位数） = ｛1, 1.5, 2, …｝ リレーション リレーション（relation） リレーションスキーマに基づいて格納される実際のデータ（インスタンス）の集まり 数学的には、全てのDの組み合わせの部分集合 全部で D1×???×Dn　通りのデータがありうる インスタンスはその部分集合になる インスタンスのことをタプル（tuple）ともいう タプルは値の組を表す一般的な用語 リレーションの次数 属性の数＝リレーションの次数＝リレーションの項数 単項リレーション、二項リレーション、???、ｎ項リレーション リレーションの表現 リレーションは表形式で表現できる あくまで集合を表として表しているだけなので、厳密には、リレーションと表は異なる タプルの順番は意味を持たない 全く同じ値を持つタプルが複数あることは許されない 属性の順番も本来は意味はない 従業員番号 部門番号 氏名 年齢 001 1 尾下 真樹 27 002 2 下戸 彩 17 003 3 本村 拓哉 30 004 1 宇田 ヒカル 20 第一正規形 第一正規形（first normal form）制約 ドメイン（属性の取りうる値）は分解不可能な単純な値でなければならないという制約 各属性は、単一の値でなければいけない 第二、第三正規形なども次回の講義で出てくる 第一正規形を満たさないスキーマの例 （ひとつの属性に複数の値がある） 「データベースシステム」 図3.1 第一正規形（続き） 第一正規形を満たすように２つのリレーションスキーマに分割するなどする必要がある 「データベースシステム」 図3.3 空値 空値 属性値が存在しないことを示す特殊な属性値 「NULL」 と表す ゼロや空白と空値の区別に注意 ゼロや空白の場合は、その属性値がゼロあるいは空白と分かっているもの NULLの場合は、値が存在しないか、値がまだ分からないということ 科目番号 学籍番号 成績 001 00001 90 001 00002 0 001 00003 NULL 履修 ※ NULLは、値がないことを表す（例えば成績が未評価など） リレーションの整合性制約 リレーションの整合性を保つために満たされていなければならない制約 ドメイン制約 キー制約 参照整合性制約 一貫性制約 従属性制約 データベースを設計する時は、リレーションスキーマに加えて、これらの制約も指定する リレーションの整合性制約 ドメイン制約 キー制約 参照整合性制約 一貫性制約 従属性