Kihagyás

Relációs algebra

Ha már egyszer megcsináltam, tessék visszakeresni, tudom, hogy nem olvastad el amúgy se: AdatB1 RelAlg bevezető

  • Minden ismert (és szeretett) operátor alkalmazható
  • Értelmezhetjük a RelAlg-ot "kifejezések halmazaként"
  • Annyit érdemes hozzátenni, hogy a metszet, és mindenféle belső csokornyakkendő (\(\Join, \Join_F, \semijoin\)) úgy nevezett "származtatott" műveletnek számít
  • A külső összekapcsolások nem RelAlg műveletek, mert kilép a modellből
    • Don't forget, NULL is still just an SQL concept, we don't use \(\bot\) at all
\[ \orange{\Huge{\text{WARNING}}} \]

A RelAlg nagyon menő, de nem tud(!) minden esetet lefedni. Ilyen a nem triviális rekurzió

Példa önhivatkozásra

Tétel

Nem létezik olyan relációs algebrai kifejezés, amelyet tetszőleges kiinduló táblára alkalmazva a neki megfelelő cél táblát eredményezi

Monotonitás

  • Monoton nem csökkenő
    • Röviden monoton
    • "Bővebb relációra alkalmazva az eredmény is bővebb"
    • A kivonáson kívül minden alapművelet monoton
      • (monoton relációs algebra)

Note

Más, monoton kifejezésben lehet akár nem monoton művelet is

Példa: $$ r \cap s = r - (r - s) $$

Nyilván, csak monoton műveleteket használva minden helyes kifejezés egyben monoton is

Fontos, hogy ezért a kivonás nem fejezhető ki a többi alapművelettel