1. Понятие о базе данных. Субд. Примеры

12. Реляционная алгебра. Реляционные исчислении. Примеры;
Реляционная алгебра.Реляционная алгебра — это теоретический язык операций, которые позволяют создавать на основе одной или нескольких таблиц другую таблицу без изменения исходных таблиц. Следовательно, можно конструировать вложенные выражения реляционной алгебры, причем для любой глубины вложенности результатом всегда является отношение (свойствозамкнутости).
Существует несколько вариантов выбора операций, которые включаются в реляционную алгебру. Первоначально Кодд предложил восемь операций, но впоследствии к ним были добавлены и некоторые другие.
Большинство действий по извлечению данных выполняются с помощью пяти основных операций реляционной алгебры:

• 
  выборка (selection);
  
• 
  проекция (projection);
  
• 
  декартово произведение (Cartesian product);
  
• 
  объединение (union);
  
• 
  разность множеств (set difference).
  

С использованием этих основных операций можно вывести следующие дополнительные операции:

• 
  соединение (join);
  
• 
  пересечение (intersection);
  
• 
  деление (division).
  

Реляционное исчисление - теоретическая, декларативная и непроцедурная модель манипулирования данными в базе данных. Он содержит реляционное исчисление кортежей (RRK) и реляционное исчисление предметной области (RRD). Это элементы модели реляционной базы данных, которые гарантируют декларативный способ определения запросов к базе данных. Он основан на альтернативе и соединении.


Реляционное исчисление
• Реляционное исчисление получило название от той части символьной логики, которая называется исчислением предикатов. В контексте баз данных оно существует в двух формах: в форме предложенного Э. Коддом реляционного исчисления кортежей и в форме предложенного Лакруа и Пиро реляционного исчисления доменов.
• В логике первого порядка (или теории исчисления предикатов) под предикатом подразумевается истинностная функция с параметрами. После подстановки значений вместо параметров функция становится выражением, называемым суждением, которое может быть истинным или ложным.