Исчисление кортежей и его реляционная полнота — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Простые условия)
(Простые условия)
Строка 44: Строка 44:
 
  S<font color = grey>.</font>Id <font color = grey><</font> <font color = #056967>5</font>
 
  S<font color = grey>.</font>Id <font color = grey><</font> <font color = #056967>5</font>
  
Сравнение атрибутов между собой:
+
Сравнение атрибутов между собой (в том числе и на неравенство):
 
  S<font color = grey>.</font>Id <font color = blue>$\geq$</font> G<font color = grey>.</font>Id
 
  S<font color = grey>.</font>Id <font color = blue>$\geq$</font> G<font color = grey>.</font>Id
  
 
Сравнение с применением формул:
 
Сравнение с применением формул:
 
  length<font color = grey>(</font>S<font color = grey>.</font>FirstName<font color = grey>)</font> <font color = grey>=</font> length<font color = grey>(</font>S<font color = grey>.</font>LastName<font color = grey>)</font> <font color = grey>+</font> <font color = #056967>3</font>
 
  length<font color = grey>(</font>S<font color = grey>.</font>FirstName<font color = grey>)</font> <font color = grey>=</font> length<font color = grey>(</font>S<font color = grey>.</font>LastName<font color = grey>)</font> <font color = grey>+</font> <font color = #056967>3</font>
 +
Можно использовать любые формулы, зависящие от значений кортежных переменных.
  
 
=== Составные условия ===
 
=== Составные условия ===
 
=== Условия с кванторами ===
 
=== Условия с кванторами ===

Версия 00:10, 20 декабря 2021

В этом разделе будет рассмотрен один из видов реляционного исчисления — исчисление кортежей.

Переменные-кортежи

Каждая переменная-кортеж имеет тип.

Тип кортежа

  • Имена и типы атрибутов;
  • Набор значений.

Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.

Синтаксис

Переменная :: Отношение

Примеры

S :: Students
G :: Groups
G4 :: Groups where
    Name = 'M34351' 
    Name = 'M34371' 
    Name = 'M34391'

Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.

Операции с отношениями

Ограничение

Можно ограничить отношение, выбрав те кортежи, которые удовлетворяют требуемым условиям.

Отношения where Условие

Объединение

Для объединения используется синтаксис перечисления необходимых отношений через запятую.

Отношение1, Отношение2

Примеры

Groups where Name = 'M34371'
G4 :: Groups where Name = 'M34351',
        Groups where Name = 'M34371',
        Groups where Name = 'M34391'

Условия

Простые условия

Сравнение атрибутов с константами:

S.Name = 'Иван'
S.Id < 5

Сравнение атрибутов между собой (в том числе и на неравенство):

S.Id $\geq$ G.Id

Сравнение с применением формул:

length(S.FirstName) = length(S.LastName) + 3

Можно использовать любые формулы, зависящие от значений кортежных переменных.

Составные условия

Условия с кванторами