Agregácie a rekurzia

Question 1

Ako vieme zrátať iba unikátne hodnoty?

Answer 1

COUNT(DISTINCT x)

Question 2

Ako vieme robiť selekciu na už agregovaných a grupovaných výrazoch?

Answer 2

na konci HAVING
HAVING SUM(v.Mnozstvo) >= 5

Question 3

Ako funguje agregácia a relačný kalkul?

Answer 3

Za <3 vypíšeme voľné premenné a agregácie. Zvyšné sa použijú na grupovanie.

Question 4

Ako funguje subtotal v datalogu?

subtotal(nieco, nieco2, nieco3)

Answer 4

nieco - množiny argumentov, vstupné dáta na ktorých robíme agregáciu
nieco2 - grupovacie argumenty
nieco3 - agregácie

subtotal(vypite_alkoholy(K, A), [K], [Pocet = count(A)]).

Question 5

Ako preložiť datalog do rel. algebry?

Answer 5

Najprv preložíme nezávislé dotazy.

Negácia je rozdiel, or je zjednotenie a pod.

Question 6

Čo vieme použiť namiesto rozdielu?

Answer 6

Antijoin

Question 7

Prečo je antijoin lepší ako rozdiel?

Answer 7

Pri rozdiele môžeme stratiť atribúty, ktoré treba potom znova najoinovať, pri antijoine ale nestrácame.

Question 8

Ako robíme rekurziu v rel. algebre?

Answer 8

fixpoint (fí)
fí(postupnosť priradení), pokiaľ sa mení tak sa opakuje, ak sa nezmení máme výsledok. napr.
ancestor := parent
fí(ancestor := ancestor \/ X, A(ancestor ⋈ parent))

Question 9

Ako robíme rekurziu v rel. kalkule?

Answer 9

Nijak špeci, spravíme len definície v rámci tej množiny (slide 28)

Question 10

Ako robíme rekurziu v sql?

Answer 10

WITH RECURSIVe, potom v tele dávame triviálny prípad a UNION

Question 11

Čo hovorí Tarskeho veta o pevnom bode pre úplné zväzy?

Answer 11

iteratívny výpočet konverguje k pevnému bodu pre “obvyklé“ (aj rekurzívne) dotazy, keďže kartézsky súčin, join, zjednotenie, projekcia a premenovanie sú „neklesajúce“ operácie

Question 12

Čo je stratifikácia?

Answer 12

program je stratifikovaný, keď existuje priradenie S(.), ktoré každému predikátu priradí celé číslo, tzv. stratum (vrstva) tak, že platí:
• Ak p je definovaný pomocou q, tak S(p) >= S(q)
• Ak p je definovaný pomocou not q, tak S(p) > S(q)

Question 13

Aký je alg. stratifikácie?

Answer 13

1. Všetkým predikátom priraď stratum 1
2. Ak niektoré pravidlo porušuje podmienku stratifikácie, tak zvýš stratum predikátu tak kde je najmenšie celé číslo, ktoré tú podmienku spĺňa
3. Ak je niektoré stratum väčšie ako počet predikátov, tak program sa nedá stratifikovať

Question 14

Aká je naivná evaluácia v datalogu?

Answer 14

1. pre všetky predikáty pi = prázdna množina
2. priraďuj pokiaľ sa nejaká mn. zmenila
3. máme výsledok (niekedy ale krok 2 neskončí)

Question 15

Aká je seminaivná evaluácia?

Answer 15

Nepridávať vždy všetko znova ale len rozdiel (nejaká delta, nové záznamy)