Ответы к упражнениям
Упражнение 5.1
1) all (x: Mnutd form ((X | у) х))
2) all (х: Mnutd form (у (х | z)))
3) all (х: Mnutd form ((у | z) (X | Y)) and SUM (у X х))
4) all (x: Mnutd form ((у z | X) (Y Z | xl)) and SUM (y Y x2) and SUM (z Z x3)) and TIMES (x2 3 x4) and SUM (x3 x4 x))
5) all (x y: Wsthm form ((xl x2 x3 x4 x5) x6 and x form ((yl y2 уЗ у у4) у5) and x4 LESS у)
Упражнение 5.2
См. упражнение 5.3
Упражнение 5.3
1) all (x: Mnutd form ((x | у) z))
2) all (х у z: x htop у and x alltop z)
3) all (х у г: х atop у and x alltop z)
Упражнение 5.4
1) all (х у: х гее (for у) and 20 LESS у
2) all (х у: Evrtn hrec (for z) and x hrec (for y) and z LESS у
3) all (x у z: x rec (for z) and у rec (for z) and x LESS у
4) all (X у z: x rec (drew y) and x rec (lost z) and z LESS у
5) all (x y: Arsnl arec (won z) and x hrec (won y) and у LESS z
Упражнение 5.5
Возможен такой вариант базы данных:
При этом удобно использовать отношение stock с записями следующего вида: McDoo stock (∅∅∅∅ ∅ ∅ ∅)
Упражнение 5.6
С помощью той же программы, что и в предыдущем упражнении, следует определить два отношения, например, так, как показано ниже:
Отношение stockin предназначено для регистрации поступлений на склад, тогда как отношение stockout, наоборот, позволяет контролировать продажу материалов со склада.
Упражнение 5.7
Задания (1), (3) и (4) имеют аналогичные решения. Например, для задания (3) возможен следующий ответ:
all (: begin x)
X List ali helds ? just (Computing Gardening Cooking Science Fiction)
X List ali keys ? just (Alan Bill Colin Dora Eve Fred)
X List all relations ? just (owns)
Следует отметить, что отношения должны вводиться в виде списка даже в том случае, когда определяется одно отношение.
2. Возможны два варианта: список полей может содержать названия позиций на игровом поле (вратарь, левый защитник и т. д.) или номера игроков от 1 до 11.
5. Решение в общем аналогично предложенному в п. (3), но если ввод данных производится отдельными фрагментами, для некоторых улиц могут быть введены несколько подсписков типа (23 2 ∅1 49А).
Упражнение 5.8
См. ответ к следующему упражнению.
Упражнение 5.9
1) all (x у: х stock (у bricks) and 400 LESS у)
2) all (х у: х stock (у sand) and Fee stock (z sand) and z LESS y)
3) all (x у z: к stock (y sarid) and я stock (z cement))
Упражнение 5.10
1) all(x у: х stock (y western))
2) all (x y: x stock (y gardening) and York stock (z gardening) and у LESS z)
3) all (x:x stock (z gardening) and x stock (y cookery) and z LESS y)
4) all (X Y: X stock (xl thriller) and X stock (x2 romance) and X stock
(x3 western) and X stock (x4 war) and SUM) (xl x2 x5) and
SUM (x3 x4 x6) and SUM (x5 x6 Y))
Упражнение 5.11
Для выполнения данного упражнения следует ознакомиться с описываемыми I далее в тексте дополнительными отношениями.
1) all (x у: х out z and z tot у)
2) all (x y: z out z and helds X and (y western) maich (z X))
3) если прибыль от сбыта книги-вестерна равняется 50 центам, запрос
all (х у: х out z and fields X and Y western) match (z X) and TIMES (0. 5 Y y))
позволит получить выраженную в долларах прибыль за продажу книг-вестернов для каждой фирмы.
Упражнение 5.12
1) all (x у: х stock (у computers) and York stock (z computers) and z LESS y)
2) all (x у z: Hull stock (X z) and out-type (y z) and X LESS y)
3) all (x у z: Luton out-type (X computers) and x stock (y z) and у LESSX)
4) all (x у z: Hull out-tot X and x out-type (y z) and X LESS y)
Упражнение 5.13
1) X sold-percent Y if
sales-tot Z and X out-tot x and percent (Y x Z)
2) X type-sales Y if
X held and
Y isall (Y: Z out-type (Y X))
X all-sales Y if
X type-sales Z and Z tot Y S held if
helds Y and X ON Y
3) X percent-sales Y if
sales-tot Z and X all-sales x and percent (Y x Z)
4) X bestseller Y if
Z isall (Z: x all-sales Z) and
Y max Z and
X all-sales Y and
5) X worstseller Y if
Z isall (Z: x all-sales Z) and
Y min Z and
X all-sales Y and
Упражнение 5.14
См. следующее упражнение.
Упражнение 5.15
1) all (x у: х outtype (у western))
2) all (x: x soldeprcent у and у LESS 10)
3) all (x: x outtot у and у LESS 100)
4) либо list allsales, либо all (x у: x allsales y)
Упражнение 5.16
1) change X if
X stocktot Y and
X outtot Z and percent (x Z Y) and
(X stockpercent x) add
2) X change (Y Z) if
X out x and
Y max x and
helds у and
(Y Z) match (x y) and
(X outmax (Y Z)) add
3) change X if
X outtype (Y Z) and
Z allsales x and
percent (y Y x) and
(X typepercent (y Z)) add
4) change X if
X outtype (Y Z) and
x salestot and
percent (y Y x) and
(X allpercent (y Z)) add
Данные предложения добавляются к программе перед выполнением модуля UPDATE.
|
ПОИСК:
|
При использовании материалов сайта активная ссылка обязательна:
http://informaticslib.ru/ 'Библиотека по информатике'