Teoria zależności (teoria baz danych)

Teoria zależności jest poddziedziną teorii baz danych , która bada problemy implikacji i optymalizacji związane z ograniczeniami logicznymi, powszechnie zwanymi zależnościami, w bazach danych. Najbardziej znaną klasą takich zależności są zależności funkcjonalne , które stanowią podstawę kluczy relacji bazodanowych. Inną ważną klasą zależności są zależności wielowartościowe . Kluczowym algorytmem w teorii zależności jest pościg , a większość teorii jest poświęcona jego badaniu.

Zależności