Logická úroveň - Relační databázový model

Relační databáze je matematicky vyjádřena jako dvojice (R, I), kde R = {R₁, R₂ ... R_n} je množina relací a I je množina integritních omezení.

Relace je vyjádřena jako R(A), kde A = {A₁, A₂ ... A_r} je množina atributů relace.