Найти старших студентов в группах

Студенты(Нз(х),Фио(х),П(х),Возр(х),Гр(х))

$^х/_{Студенты}"^y/_{Студенты}(Гр(х)=Гр(у) → Возр(х)>Возр(у)) или

$^х/_{Студенты}Ø$^y/_{Студенты}Ø(Гр(х)=Гр(у) → Возр(х)>Возр(у))

$^х/_{Студенты}Ø$^y/_{Студенты}(Гр(х)=Гр(у) & Возр(х)<Возр(у))

{Студенты(x)}:"^y/_{Студенты}(Гр(х)=Гр(у) → Возр(х)>Возр(у))

{Студенты(x)}:Ø$^y/_{Студенты}(Гр(х)=Гр(у) & Возр(х)<Возр(у))

SELECT *

FROM Студенты AS X

WHERE NOT EXISTS

(SELECT *

FROM Студенты AS Y

WHERE X.Гр = Y.Гр AND X.Возр < Y.Возр

);

Студент(НомЗ(х),Фио(х),Гр(х),П(х),Возр(х))

Таблица Студент

Однополые группы

"^х/_Ст"^y/_СтП(х)=П(у)&Гр(х)=Гр(у)

"^х/_Ст"^y/_СтГр(х)=Гр(у)→П(х)=П(у)

В группе одна девочка

"^х/_{Ст&П(х)=’Ж’}"^y/_{Ст&П(у)=’Ж’}Гр(х)=Гр(у)→НомЗ(х)=НомЗ(у)

В группе один мальчик или одна девочка

"^х/_Ст"^y/_СтГр(х)=Гр(у)&П(х)=П(у)→НомЗ(х)=НомЗ(у)

Группы, в которых ВСЕ студенты от 18 и старше

$^х/_Ст"^y/_Ст(Гр(х)=Гр(у)→Возр(у)>=18)

"^х/_СтГр(х)=”К05-221”

Это предложение сформулировано как ограничение целостности.

Если отбросить квантор, то «х» становится свободной переменной и ограничение целостности превращается в запрос.

{Ст(х)}:Гр(х)=”К05-221”

SELECT *

FROM Ст AS X

WHERE X.Гр=’К05-221’;

В группе не более двух мальчиков или двух девочек

"^х/_Ст"^y/_Ст"^z/_Ст
Гр(х)=Гр(у)&Гр(х)=Гр(z)&П(х)=П(у)&П(х)=П(z)&Нз(х)<>Нз(у)→
(Нз(z)=Нз(x)ÚНз(z)=Нз(у))

Замечание. Почему «не более двух», а не «ровно два»?

Дело в том что при одном мальчике в группе Нз(х)<>Нз(у) это «ложь», а при лжи – все, что угодно!

SELECT *

FROM Ст AS X

WHERE NOT EXISTS

(SELECT *

FROM Ст AS Y

WHERE EXISTS

(SELECT *

FROM Ст AS Z

WHERE

X.Гр=Y.Гр AND X.Гр=Z.Гр AND X.П=Y.П AND X.П=Z.П AND X.Нз<>Y.Нз AND NOT (X.Нз=Z.Нз OR Z.Нз=Y.Нз)

)

)

;

Не нашли, что искали? Воспользуйтесь поиском: