Caratteristiche

Il modello relazionale è basato su una semplice struttura dati, la relazione (che, informalmente, può essere interpretata come una tabella).

La semplicità della rappresentazione dei dati ha permesso la definizione di linguaggi dichiarativi per l'interrogazione delle basi di dati relazionali: essi permettono di specificare solo le caratteristiche dei dati richiesti, senza dover implementare una procedura di ricerca e/o sapere come i dati sono fisicamente memorizzati (cosa che sarebbe invece necessaria con linguaggi procedurali). Questi linguaggi dichiarativi:

• sono facili da usare, anche per utenti poco esperti, e permettono di esprimere in modo semplice anche interrogazioni relativamente complesse.
• lasciano al DBMS la possibilità di ottimizzare la ricerca, applicando varie strategie per eseguirla in modo efficiente.

Il modello relazionale ha delle precise basi matematiche (la teoria degli insiemi e la logica dei predicati del primo ordine). Per questo, i due linguaggi di interrogazioni che sono stati inizialmente definiti erano di natura matematica:

• algebra relazionale, basata su appositi operatori che si applicano alle relazioni
• calcolo relazionale, basato su formule logiche che devono essere verificate dai dati ricercati

Questi due linguaggi hanno lo stesso potere espressivo, e costituiscono la base dalla quale è stato sviluppato SQL (Structured Query Language), il linguaggio standard usato dai DBMS relazionali

Dominio

Un dominio è un insieme (anche infinito) di valori.

Alcuni dei principali domini sono

• int**:** numeri interi
• real: numeri reali
• string: stringhe
• date: date

e si indica con $D$ l'insieme di tutti i domini.

Prodotto cartesiano

Dati $k$ domini $D_1, D_2, ..., D_k \in D$, anche non distinti, il prodotto cartesiano $D_1 \times D_2 \times ... \times D_k$ è definito come: