dipendenza funzionale

Una dipendenza funzionale è un particolare vincolo di integrità semantico per il modello relazionale che descrive legami di tipo funzionale tra gli attributi di una relazione. Data una relazione su uno schema relazionale e due sottoinsiemi di attributi non vuoti e di , si dice che esiste su una dipendenza funzionale tra e se per ogni coppia di tuple e di aventi gli stessi valori sugli attributi , e hanno gli stessi valori anche sugli attributi : Una dipendenza funzionale tra gli attributi e viene generalmente indicata con la notazione e come gli altri vincoli di integrità viene associata ad uno schema: una relazione su quello schema verrà considerata corretta se soddisfa tale dipendenza funzionale. Verrà denotato con uno schema R(X) in cui è definito un insieme F delle dipendenze funzionali. Un'istanza r di R(X) è detta istanza legale di quando essa soddisfa tutte le dipendenze funzionali di F. Un'implicazione logica si ha quando, partendo da uno schema e una dipendenza funzionale , ogni istanza legale r di soddisfa anche , si dirà così che F implica logicamente , indicata come .