Avhengighetsteori (databaseteori)
Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet.
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[rediger | rediger kilde]
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)