Изменения

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

2006 байт добавлено, 01:55, 27 декабря 2021

→‎Примеры

== Примеры ==

~~Переменные~~Самый простой пример {{---}} можно задавать переменные, как уже было ранее показано:

S :: Students; G :: Groups; C :: Courses; P :: Point;

G4 :: Groups where Name = 'M34351' ∨

Name = 'M34371' ∨ Name = 'M34391'

Рассмотрим более сложный пример, в котором используются составные условия и условия с кванторами. Полностью ~~аттестованные группы~~аттестованная группа {{---}} группа такая, что у каждого студента по каждому курсу есть оценка хотя бы 60 баллов. На языке исчисления кортежей полностью это выглядит ровно так же, как и звучит:

select G.GId from G where $\forall$S ($\forall$C ($\exists$P

(S.SId = P.SId $\land$ C.CId = P.CId $\land$ P.Points ≥ 60)))

Видим, что запрос получился довольно лаконичным, в то время как в [[Реляционная алгебра|реляционной алгебре]] для такого же запроса потребовалось бы целых 2 больших деления.

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

select S.FirstName, S.LastName, G.Name

from S, G

where S.GId = G.GId

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

188.123.230.124

Изменения

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

Навигация

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

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

Варианты

Просмотры

Ещё

Поиск

Навигация

Инструменты