, таким что для любых различных кортежей t1 и t2 из r выполняется , и ни одно собственное подмножество не обладает этим свойством. Множество К является суперключом относительно r, если К содержит ключ отношения r.

Определение 3. Пусть r - отношение со схемой R, X и Y - подмножества R. Отношение r удовлетворяет функциональной зависимости , если имеет не более чем один кортеж для каждого X значения x. Где обозначает операцию выбора (выбрать в r кортеж в котором значение X равно x), а - проекция r на X, то есть отношение r’(X), полученное вычеркиванием соответствующих атрибутам в R - X и исключением из оставшихся столбцов повторяющихся строк.

Определение 4. Пусть U - множество атрибутов, каждый из которых соотнесен с определенным доменом, схемой отношений реляционной базы данных R над U называется совокупность схем отношений {R1,R2,...,Rp}, где Ri={Si,Ki}, ,  при .

Одним из основных компонентов реляционной модели является так называемая реляционная алгебра, которая в основном состоит из набора операторов, использующих отношения в качестве операндов и возвращающих отношения в качестве результата. В настоящее время существует несколько вариантов синтаксиса для команд реляционной алгебры.

Реляционная алгебра, определенная Коддом, состоит из восьми операторов, составляющих две группы, по четыре оператора в каждой.

а) Традиционные операции над множествами: объединение, пересечение, вычитание и декартово произведение (все они модифицированы с учетом того, что их операндами являются отношения, а не произвольные множества).