Реляционная алгебра, впервые описанная Э.Ф. Коддом во время работы в IBM, - это семейство алгебр с хорошо обоснованной семантикой, используемое для моделирования данных, хранящихся в реляционных базах данных, и определения запросов к ним. Чтобы упорядочить данные, сначала удаляются избыточные данные и повторяющиеся группы данных, которые мы называем нормализованными. Таким образом, данные упорядочиваются или нормализуются в так называемую первую нормальную форму (1НФ). Обычно логическая модель данных документирует и стандартизирует отношения между сущностями данных (с их элементами). Первичный ключ однозначно идентифицирует экземпляр сущности, также известный как запись. После нормализации данных и создания наборов данных (сущностей и таблиц) можно выполнять основные операции реляционной алгебры: операции над множествами (такие как объединение, пересечение и картезианское произведение), выборка (сохранение только некоторых строк таблицы) и проекция (сохранение только некоторых столбцов). Операции над множествами выполняются в операторе where в SQL, в котором один набор данных связан с другим набором данных. Основное применение реляционной алгебры - создание теоретического фундамента для реляционных баз данных, в частности, языков запросов к таким базам данных, главным из которых является SQL.