Avhengighetsteori er et felt innen databaseteori som studerer implikasjons- og optimeringsproblemer knyttet til logiske begrensninger (ofte kalt avhengigheter) på databaser. Den mest kjente klassen av slike avhengigheter er funksjonelle avhengigheter som danner grunnlaget for nøkler i databaserelasjoner. En annen viktig klasse av avhengigheter er flervaluerte avhengigheter. En sentral algoritme i avhengighetsteori er chase-algoritmen, og hvis mye av teorien er viet til studiet av.
Typer avhengigheter Noen anerkjente typer avhengigheter er:
Funksjonell avhengighet (functional dependency) Skjøteavhengighet (join dependency) Flervaluert avhengighet (multivalued dependency dependency) Tuppelgenererende avhengighet (tuple-generating dependency) Transitiv avhengighet (transitive dependency) Ekvaliensgenererende avhengighet (equaliy-generating dependency) Innebygd avhengighet (embedded dependency) Inklusjonsavhengighet (inclusion dependency) Fullt typisert avhengighet (full typed dependency)
Kategori:Databaseteori