依存性理論（データベース理論）

依存性理論は、データベース理論のサブフィールドであり、データベースに対する論理的制約（一般に依存性と呼ばれる）に関連する含意および最適化の問題を研究します。そのような依存性の最もよく知られているクラスは、データベース関係のキーの基礎を形成する機能的依存性です。依存性のもう 1 つの重要なクラスは、多値依存性です。依存性理論の重要なアルゴリズムはチェイスであり、理論の大部分はその研究に費やされています。