Teorie závislosti (teorie databáze) - Dependency theory (database theory)

Teorie závislosti je podpole z teorie databáze který studuje implikační a optimalizační problémy související s logickými omezeními, běžně nazývanými závislosti, na databázích. Nejznámější třídou takových závislostí jsou funkční závislosti, které tvoří základ klíče o databázových vztazích. Další důležitou třídou závislostí jsou vícehodnotové závislosti. Klíčovým algoritmem v teorii závislostí je honit, a velká část teorie je věnována jejímu studiu.

Závislosti