Una struttura composta di attributi (caratteristiche individuali, ad esempio nome o indirizzo, corrispondenti alle colonne in una tabella) e Tuple (insiemi di valori di attributi che descrivono entità particolari, quali clienti, corrispondenti alle righe in una tabella). All'interno di una relazione, non possono essere ripetute Tuple; ognuno deve essere univoco. Ulteriormente, le tuple sono ordinate all'interno di una relazione; alternando due tuple non cambia il rapporto. Infine, se la teoria relazionale è applicabile, il dominio di ogni attributo deve essere atomico-che è, un semplice valore, piuttosto che una struttura come una matrice o un record. Una relazione in cui i domini di tutti gli attributi sono atomici è detto per essere normalizzato o in prima forma normale.