Testy: Vypracované otázky z predmetu Databázové systémy

1. Ak asociatívna binárna operácia +(v krúžku) má neutrálny prvok a, s ktorým tvorí monoid potom:
a- môže byť iba argumentom foldr, nie však foldl
b- môže byť iba argumentom foldr, alebo aj foldl
c- môže byť iba argumentom foldr, foldl a map

2. Výraz (foldl (Λ) TRUE) je typu
a- [bool] → bool
b- (bool → bool→ bool) → bool
c- bool

3. Funkcia f je definovaná nasledovne:
f[x] = x
f(x : y : z) = f (y : z)
je svojím významom funkciou:
a- last
b- tail
c- snd

4. Statická typová kontrola:
a- znamená odvodenie typov výrazov počas vykonávania, takže výpočet nezlyhá na hodnotách neprístupných typov.
b- znamená odvodenia každého typu výrazu počas prekladu , takže výpočet nie je vykonávaný na hodnotách neprístupných typov
c- znamená odvodenia každého typu výrazu počas prekladu, takže výpočet zlyhá na hodnotách neprístupných typov

5. Abstraktný typ
a- množinou prekrývaných operácií a abstraktných hodnôt
b- množinou operácii, ktoré musia byť prekrývané
c- množinou operácii, ktoré môžu byť prekrývané