Непроцедурный язык, в котором запрос создается путем определения таблицы запроса за один шаг. РИ и РА являются логически эквивалентными языками. Результат при обработки таблицы РИ с помощью запроса, который формируется или задается целевым списком или определяющим выражением.
Под целевым списком понимается выражение реляционного исчисления, определяющее атрибуты результирующего отношения.
Определяющее выражение- это условие, на основании которого отбираются значения, которые войдут в результирующее отношение. При построении запросов на языке реляционного исчисления и квантов всеобщности квант существования означает существование хотя бы одной строки удовлетворяющей условию. Квант всеобщности- выражение, которое означает, что некоторые условия применяются ко всем строкам некоторого типа.
Виды связи между отношениями. В зависимости от того, как определены поля связи между родительским и дочерним отношениями существуют четыре вида связи- один к одному, один ко многим, многие к одному и многие ко многим(1:1,1:М,М:1,М:М).
Вид связи 1:1 означает, что одной записи из первого отношения соответствует только одна запись из другого отношения(между двумя первичными ключами)
М- возможен в случае когда в одной записи из первого отношения удовлетворяет одна или несколько записей из второго отношения(первичный и первичный составной или первичный и внешний)
