Реляционное исчисление
создатель Михаил Марычев
1. запрос на принципах реляционного исчисления -
1.1. «Получить значение атрибутов ИМЯ и ГОРОД из кортежей отношения СТУДЕНТЫ, для которых в отношении УСПЕВАЕМОСТЬ существуют кортежи с совпадающими значениями атрибута КОД_СТУД и со значениями атрибута КОД_ДИСЦИПЛ равными Д2».
2. забавный факт
2.1. Алгебра и исчисление являются эквивалентными друг другу в том смысле, что любой запрос, построенный с использованием алгебры, может быть преобразован в форму, основанную на исчислении – и наоборот. Алгебра и исчисление можно рассматривать в этом смысле как два возможных стиля формулировки запроса, но язык алгебры ближе к процедурным языкам программирования, а язык исчисления к естественному человеческому языку.
3. что это ?
3.1. Исчисление представляет собой формальный способ описания выходного отношения в терминах входных отношений, без определения способа получения этого выходного отношения.
4. центральное понятие
4.1. понятие переменной, принимающей значение из некоторой области определения.
4.1.1. исчисление доменов
4.1.2. исчисление кортежей
5. основные понятия реляционного исчисления на примере исчисления кортежей.1
5.1. Следующие примеры определений указывают, что областью определения переменной SX являются кортежи отношения СТУДЕНТЫ (значениями переменной SX являются кортежи этого отношения). Соответственно переменная DX определяется на множестве кортежей отношения ДИСЦИПЛИНЫ, а переменная MX на множестве кортежей отношения УСПЕВАЕМОСТЬ.
5.1.1. RANGE OF SX IS СТУДЕНТЫ, RANGE OF DX IS ДИСЦИПЛИНЫ, RANGE OF MX IS УСПЕВАЕМОСТЬ
5.2. выражения записываются в виде -tWHERE Y(t),
5.2.1. где t – это кортеж или кортежи, которые требуется получить, а Y(t) – это логическая формула (так называемая правильно построенная формула – ППФ), описывающая условия, которым должны удовлетворят кортежи t искомого отношения