関係データベースの操作を、数学的な集合論に基づいて体系化した理論。表（リレーション）から特定の行（タプル）や列（属性）を取り出す操作（例：選択、射影、結合）を定義する。