關係論理
關係計算 (relational calculus)
関係論理 - Wikipedia
關係代數