dependency theory

subfield of database theory studying implication and optimization problems related to logical constraints on databases