Изменения

Исчисление кортежей

2297 байт добавлено, 23:59, 26 декабря 2021

→‎Cравнение атрибутов с применением формул

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

~~Каждая переменная~~У каждой переменной-~~кортеж имеет~~ кортежа есть тип{{---}} набор атрибутов, ~~который состоит~~ для каждого из ~~имен и типов атрибутов и набора~~ которых есть домен, а так же набор значений. Такая комбинация в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.

=== Синтаксис ===

Для каждой переменной берем ее значение из тела соответствующего отношения:

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

=== Примеры ===

Мжно задать переменная S, которая пробегает по всем студентам, и переменную G, которая пробегает по всем группам:

S :: Students

G :: Groups

Можно записать группы четвертого курса, то есть группы, которые имеют название M34351, M34371 или M34391:

G4 :: Groups where

Name = 'M34351' ∨

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

=== Ограничение ===

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

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

=== Объединение ===

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

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

=== Примеры ===

Рассмотрим примеры. Можно задать отношение {{---}} группы, имеющие название M34371:

Groups where Name = 'M34371'

Помимо способа, предложенного в предыдущей секции, можно задать группы 4 курса по-другому. Это такие группы, у которых название M34351, еще такие группы, у которых название M34371, и такие группы, у которых название M34391.

G4 :: Groups where Name = 'M34351',

Groups where Name = 'M34371',

== Условия ==

Разделяют три вида условий: простые, составные и условия с кванторами.

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

~~Сравнение~~ ==== Cравнение атрибутов с константами====К простым условиям относится сравнение атрибутов с константами. Например, можно найти студентов с именем Иван:

S.Name = 'Иван'

Или выделить студентов с идентификатором меньше 5:

S.Id < 5

~~Сравнение~~ ==== Cравнение атрибутов между собой (====Также можно сравнивать атрибуты между собой, в том числе и на неравенство). Например найти студентов, имеющих идентификатор не меньше, чем идентификатор их группы:

S.Id $\geq$ G.Id

~~Сравнение~~ ==== Cравнение атрибутов с применением формул====В качестве расширения можно использовать произвольные формулы ровно так же, как были устроены расширения в [[Реляционная алгебра|реляционной алгебре]]. Можно использовать любые формулы, зависящие от значений кортежных переменных. Например, можно найти студентов, у которых имя на 3 символа длиннее фамилии:

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

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

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

Анонимный участник

193.176.84.235

Изменения

Исчисление кортежей

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Ещё

Поиск

Навигация

Инструменты