НАЙТИ{(de.ImDet)/deÎDet}:(Ø$doÎDog)((do.DtN>’10.10.2006’ & do.Kdet=de.KDet) &

↑

▷ Содержание

⇐ ПредыдущаяСтр 3 из 7Следующая ⇒

НАЙТИ{(de.ImDet)/deÎDet}:(Ø$doÎDog)((do.DtN>’10.10.2006’ & do.Kdet=de.KDet) &

(Ø$psÎPsts)(( ps.KPst=do.KPst)&(ps.AdrPst¹’Казань’))&

(Ø$pvÎPst)((pv.KPst=do.KPst)&(pv.KDet=do.KDet)))

Реализуя запрос на языке SQL, получим

SELECT Det.ImDet FROM DET

WHERE NOT EXISTS (SELECT * FROM DOG

  WHERE (dog.KDet=det.KDet) AND (dog.DtN>’10.10.2006’)

AND NOT EXISTS (SELECT * FROM PSTS WHERE (psts.KPst=dog.KPst)

                          AND (psts.AdrPst<>’Казань’))

AND NOT EXISTS (SELECT * FROM PST WHERE (pst.KPst=dog.KPst) AND (pst.Kdet=dog.KDet)))

Ниже приводится пример реализации запроса средствами языка DELPHI с использованием команд навигации по таблицам.

При реализации запроса учитываются следующие эквивалентные представления:

Учитывая, что семантически

§ реализация оператора «b:=$xÎFile(B(x))» может быть представлена в виде:

b:=false; RESET(File);

WHILENOT b ANDNOT EOF(File) DO

BEGIN READ(File,x); b:=B(x) END

§ реализация оператора «b:="xÎFile(B(x))»:

b:=true; RESET(File);

WHILE b ANDNOT EOF(File) DO

BEGIN READ(File,x); b:=B(x) END

Для проверки значения кванторной формулы на соответствующем наборе данных, после завершения цикла необходимо проверить значение переменной - селектора . Отметим, что изменение значения селектора завершает цикл, не перебирая все записи из таблицы File, что, вообще говоря, оптимизирует время выполнения программы

Вернемся к исходной форме запроса:

НАЙТИ{(de.ImDet)/deÎDet}:

Познавательные статьи:



Организация работы процедурного кабинета

Статус республик в составе РФ

Понятие финансов, их функции и особенности

Сущность демографической политии