462
правки
Изменения
Нет описания правки
Про каждую переменную известно, из какого она отношения, поэтому при подстановке в квантор рассматриваются только значения переменных из соответствующих отношений.
== Примеры ==
Переменные:
S :: Students; G :: Groups; C :: Courses; P :: Point;
G4 :: Groups where Name = 'M34351' ∨
Name = 'M34371' ∨ Name = 'M34391'
Полностью аттестованные группы:
select G.GId from G where ∀S (∀C (∃P
(S.SId = P.SId ∧ C.CId = P.CId ∧ P.Points ≥ 60)))
Несколько отношений:
select S.FirstName, S.LastName, G.Name
from S, G
where S.GId = G.GId
