Formule

Formule
• formule jsou
– atomické formule
– již existující formule propojené pomocí AND, OR, NOT, IMPLIES
– forall x (F(x)), kde x je proměnná a F je formule obsahující proměnnou x
– exists x (F(x)), kde x je proměnná a F je formule obsahující proměnnou x

Kvantifikátory
• existenční i všeobecný kvantifikátor budeme moci smysluplně vyhodnotit tehdy, budeme-li mít dané, odkud můžeme brát hodnoty x - z relace R
• přeformulujeme
– exists x (R(x) AND F(x))
– forall x (R(x) IMPLIES F(x))
• takto definujeme omezené kvantifikátory
– exists xR (F(x)), forall xR (F(x))

Volné a vázané proměnné
• proměnná, jejíž výskyty ve formuli F nepředchází žádné výskyty kvantifikátoru, je volná, jinak vázaná
• vázané proměnné jsou v příslušném kvantifikátoru omezené (na hodnotu z relace), volné proměnné omezíme připojením formule R(x) konjunkcí (AND) k celé formuli
• takto definujeme třídu dobře formovaných omezených formulí

Dotazovací jazyk NRK
• je pro schéma relační databáze R množina výrazů typu
seznam komponent volných proměnných
WHERE formule dotazu
• kde formule dotazu je dobře formovaná omezená formule s volnými proměnnými, z nichž každá se prostřednictvím své komponenty vyskytuje v seznamu komponent volných proměnných