Relačný kalkul

Question 1

Aké operácie vieme robiť v relačnom kalkule na reláciach?

Answer 1

môžeme mať konštanty, premenné, predikáty (true, false), s nimi robiť konjunkcie a vš. možné logické operácie.

Question 2

Ako fungujú predikáty v rel. kalkule? Ako generujú tabuľku?

Answer 2

Všetky hodnoty, pre ktoré vracajú TRUE,

uložíme do tabuliek (relácií).

Question 3

Čo je datalog?

Answer 3

Rozumné zúženie rel. kalkulu, na potrebné operácie, nech nepíšeme napr. furt kvantifikátory, tie tam sú implicitne.

Question 4

Sú sql, rel. kalkul, datalog deklaratívne alebo imperatívne?

Answer 4

deklaratívne, píšeme ČO nie AKO.

Question 5

Vieme určiť, ktorý SQL dotaz je najefektívnejší?

Answer 5

Nie, na pozadí ajtak spraví svoje.

Question 6

Čo je relácia?

Answer 6

Definícia: relácia je podmnožina kartézskeho súčinu množín. Množinám D1, D2, …, Dn sa hovorí domény (typy) atribútov relácie r

Question 7

Čo sú prvky relácie?

Answer 7

Prvkami relácie sú usporiadané n-tice (hovorí sa im tiež n-tuples,
tuples, záznamy).

Question 8

Môžeme v ľubovoľnom poradí miešať atribúty?

Answer 8

Nie, ale v SQL áno, tam sú pomenované a nezáleží na poradí.

Question 9

Čo je predikát?

Answer 9

k r(a,b,c) prislúcha predikát p: AxBxC -> bool, kde p(x,y,z)=true práve vtedy keď [x,y,z] in r.

Question 10

Čo píšeme malými a čo veľkými písmenami?

Answer 10

Konštanty a predikáty malými

Premenné veľkými.

Question 11

Čo sú dotazy v relačnom kalkule?

Answer 11

Dotazy v relačnom kalkule sú formuly logiky 1.rádu

Question 12

Čo je výsledok dotazu v relačnom kalkule?

Answer 12

Výsledok dotazu je usporiadaná množina hodnôt voľných

premenných, po ktorých dosadení tá formula platí.

Question 13

Čo sú doménovo nezávislé formuly?

Answer 13

Ak sa ich výsledok nemení pri zmene domény, na základe ktorej je výraz vyhodnotený. (ich výsledok závisí nie od domény, ale len od obsahu databázy)

Question 14

Čo sú ohraničené premenné formuly?

Answer 14

(range-restricted), ak vieme algoritmicky vypočítať konečnú množinu hodnôt Ri takú, že po dosadení
ľubovoľnej hodnoty v not in Ri za Vi formula nie je splniteľná

Question 15

Čo sú bezpečné formuly? V rel. kalkule

Answer 15

Formula je bezpečná (safe), ak každá jej premenná je ohraničená.

Question 16

Ako píšeme v datalogu fakty?

Answer 16

napr. r(1,2). r(2,3). (s bodkou).

Question 17

Kedy je datalog program bezpečný?

Answer 17

Program je bezpečný, ak každé jeho pravidlo je bezpečné

Question 18

Kedy je v datalogu pravidlo bezpečné?

Answer 18

Pravidlo je bezpečné, ak každá premenná použitá kdekoľvek v tom
pravidle je použitá aj v nejakom pozitívnom relačnom podcieli

Question 19

Aký je rozdiel medzi prologom a datalogom?

Answer 19

Datalog je podmnožina prologu, povoľuje len bezpečné operácie.

Question 20

Prečo stačí na definícu v datalogu implikácia?

Answer 20

Nech platí len krat(1,1,1), teda krat(1, 1, 1) :- true. Chceme vyjadriť že true => krat(1,1,1), to ale nevylučuje že neplatí krat(2,3,4). V Datalogu ale platí len to, čo „platiť musí“ (dá sa odvodiť, t.j. dokázať z programu).

Question 21

čo je russelov paradox?

Answer 21

“Holič holí všetkých mužov v meste, ktorí neholia sami seba“. Holí potom holič holiča?

Question 22

Ako vyjadriť disjunkciu v datalogu?

Answer 22

dvoma pravidlami.