リレーショナルモデル
リレーショナルデータベース構造（Structure of Relational Database）
クエリ言語とはユーザーがデータベースから情報を検索する際に使う言語のことです。 クエリ言語は手続き型言語（procedural language）と非手続き型言語(nonprocedural language)に分けられます。 手続き型言語とは、データベースに結果を演算するように指示する言語です。 リレーショナル代数（relational algebra）などがあげられます。 非手続き型言語とは、手続きを与えずにユーザーが望む情報を説明する言語です。 タプル関係理論（tuple relational caluculus）などがあげられます。
リレーショナル代数は命令の集合で、１つか２つのリレーションを入力し、 新しいリレーションを結果として生成します。 基本的な命令としては、選択、射影、和、差などがあります。 その他の命令として、共通集合、自然結合、商などがあります。