Avhengighetsteori (databaseteori)
felt innen databaseteori som studerer implikasjons- og optimeringsproblemer knyttet til logiske begrensninger på databaser
Kildeløs: 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
redigerNoen 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 (inclusion dependency)
- Fullt typisert avhengighet (full typed dependency)