Rappresentazione dei concetti base

La rappresentazione dei concetti di schema di relazione, dipendenza funzionale e chiave sono realizzati rispettivamente tramite i termini schema, fd e key. Descriviamo questi ultimi in dettaglio:

• il termine schema rispetta la sintassi
  
  schema(<nome della relazione>, <lista degli attributi>)
  
  Ad esempio potremmo rappresentare la relazione impiegati formata dagli attributi codice, nome, stipendio con
  
  schema(impiegati, [codice, nome, stipendio])
• il termine fd invece presenta la sintassi
  
  schema(<nome della relazione>, <parte sinistra>, parte destra)
  
  Quindi per rappresentare la dipendenza codice $\rightarrow$ nome, relativa alla relazione impiegati,
  
  fd(impiegati, [codice], [nome])
• per rappresentare la chiave si utilizza invece
  
  key (<nome della relazione>, <lista degli attributi>)
  
  e quindi per rappresentare la chiave codice della relazione impiegati utilizzeremo semplicemente
  
  key(impiegati,[codice])