Perché vincolare?

• i vincoli sono indispensabili per rappresentare proprietà del mondo reale

• i vincoli operano a livello di schema

  • interessano qualunque istanza di un dato schema
  • sono corrette solo e soltanto le istanze che soddisfano tutti i vincoli

• In particolare:

  • una relazione è un insieme di ennuple uguali tra loro
  • esiste sempre una superchiave coincidente con l'insieme degli attributi sui quali la relazione è definita
  • l'insieme di attributi è finito, quindi dato uno schema di relazione esiste sempre almeno una chiave