意味記述 - Relational Database

子曰：「參乎！吾道一以貫之。」曾子曰：「唯。」子出。門人問曰：「何謂也？」曾子曰：「夫子之道，忠恕而已矣。」

論語·里仁第四

学習目標¶

リレーションの全属性集合の部分集合がそのリレーションのタプルの一意識別能力を持つ．このような性質を持つ極小組を候補キー（candidate key）という．

主キー（primary key）はタプルを一意識別するために使用される．候補キーが複数存在する場合，その中から一つを選び，主キーとする．どの候補キーを選ぶかはデータベース設計者の裁量による．

一般に，リレーションスキーマ $\boldsymbol{R}(A_1, A_2, \ldots, A_n)$ の属性集合 ${A_{k1}, A_{k2}, \ldots, A_{km}}$ が主キーであるとき，

\boldsymbol{R}(\dots, \underline{A_{k1}}, \dots, \underline{A_{k2}}, \ldots, \underline{A_{km}}, \dots)

と表記する．

外部キー（foreign key）はリレーション間の関係を表現するための制約．

Example

A社のデータベースにおいて，社員と部署のリレーションがある．

社員（社員番号，社員名，所属）

部門（部門番号，部門名，部門長）

以下の外部キー制約を満たさなければならない．

検査制約（check constraint）はリレーションの属性値が特定の条件を満たすことを保証する制約．

表明（assertion）は複数のリレーションにまたがる制約を表現するための制約．

トリガ（trigger）はあるリレーションが変更されたときに，他のリレーションにも自動的に更新を行うための制約．

リレーショナルデータベーススキーマ（relational database schema）はデータベースを定める時間的に不変な構造的・意味的記述体系．リレーショナルデータベースのスキーマは次に示すような要素から成り立つ．

リレーショナルデータベーススキーマを、自由なテーマに基づいてを定義せよ。テーマは自由（例：学生管理システム、図書館システム、病院システム、ポケモン管理システムなど）。

以下の要素をすべて含めること：

ドメイン定義、リレーションスキーマ定義、主キーは数学的に記述すること。

外部キー、検査制約、表明、トリガの定義は自然言語で記述すること。