スーパータイプとサブタイプ

概念設計における抽象化手法。汎化は複数のエンティティに共通する属性を上位エンティティにまとめること、特化は上位エンティティを属性の違いにより下位エンティティに分けること。スーパータイプとサブタイプの関係を構成する。

オブジェクト指向で、複数のクラスに共通する性質を取り出して上位のクラス（スーパークラス）にまとめること、またはそのクラス間の関係。「AはBの一種である」というis-aの関係を表し、UMLでは白抜きの三角形の矢印で示す。逆向きにみると特化となる。

継承（汎化）の関係で、複数のクラスに共通する属性やメソッドを定義し、下位のクラスに引き継がせる上位のクラス。基底クラスや親クラスともいう。スーパークラスを継承して定義する下位のクラスをサブクラスといい、両者は「サブクラスはスーパークラスの一種である」（is-a）の関係になる。

継承（汎化）の関係で、上位のクラス（スーパークラス）の属性やメソッドを引き継いで定義する下位のクラス。派生クラスや子クラスともいう。引き継いだ内容に独自の属性やメソッドを加えたり、メソッドを再定義（オーバーライド）したりできる。

E.F.コッドが提唱した、データを2次元の表（リレーション）で表現するデータモデル。数学的な集合論と述語論理に基づき、データの構造・操作・整合性制約を定義する。現在のRDBMSの理論的基盤である。

関係モデルにおける基本的なデータ構造で、属性（列）の集合で定義されるスキーマと、タプル（行）の集合で構成される。数学的には定義域の直積の部分集合である。実装上はテーブルに対応する。