Avhengighetsteori (databaseteori)

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)
• Ekvaliensgenererende avhengighet (equaliy-generating dependency)
• Innebygd avhengighet (embedded dependency)
• Inklusjonsavhengighet inklusjons (inclusion dependency)
• Fullt typisert avhengighet (full typed dependency)