{{predmet|Dotazovací jazyky II|Peter Vojtáš|DBI006}}

* zkouška: písemná – příklady
* zápočet: referát na semináři (po trojicích, PowerPointová prezentace), jinak psané (Word)

## Zdroje ##

* http://www.ksi.mff.cuni.cz/~pokorny/vyuka.html#NDBI006
* http://www.ksi.mff.cuni.cz/~vojtas/vyuka/NDBI006DotazovaciJazykyII/DJII.html
* [neoficální sbírka příkladů](http://forum.matfyz.info/viewtopic.php?p=38431#p38431)
* http://dl.acm.org/citation.cfm?id=1567278
    * example 2.4

### Starší ###

* http://www.ksi.mff.cuni.cz/~vojtas/vyuka/NDBI006DotazovaciJazykyII/1112/DJII.html
* http://www.ksi.mff.cuni.cz/~vojtas/vyuka/NDBI006DotazovaciJazykyII/1011/DJII.html
* http://www.ksi.mff.cuni.cz/~vojtas/vyuka/DBI006_Dotazovaci_jazykyII/0910/DJII.html

## Osnova ##

* Jako DJ2 s Pokorným + něco navíc
    * Herbrandovské modely a operátor T<sub>P</sub>
    * T-query
    * ..

## Příklad na produkční operátor T<sub>P</sub> ##

* Množí se otázky jak na to, zde je ukázka. Co si ještě vybavím. Na utvoření názoru na řešení určitě postačí. Za správnost neručím.
* Opáčko

::T<sub>P</sub>$\uparrow$0 = {}
::T<sub>P</sub>$\uparrow$k = T<sub>P</sub>(T<sub>P</sub>$\uparrow$k-1)

::T<sub>P</sub>$\uparrow$α = $\bigcup${ T<sub>P</sub>$\uparrow$β: β<α } .. α limitní
::T<sub>P</sub>$\downarrow$0 = B<sub>P</sub>

::T<sub>P</sub>$\downarrow$k = T<sub>P</sub>(T<sub>P</sub>$\downarrow$k-1)
::T<sub>P</sub>$\downarrow$α = $\bigcap${ T<sub>P</sub>$\downarrow$β: β<α } .. α limitní

* Příklad

:P = {

::q(b) <−
::q(f(x)) <− q(x)

::p(f(x)) <− p(x)
::p(a) <− p(x)

::r(c) <− r(x), q(x)
::r(f(x)) <− r(x)

:}

* Spočtěte **lfp**

::T$\uparrow$0 = {}
::T$\uparrow$1 = { q(b) } .. *přidáme prvky, co jsou důsledkem předchozího kroku*

::T$\uparrow$2 = { q(b), q(f(b)) }
::..

::T$\uparrow$k = { q(b), q(f(b)), .., q(f<sup>k-1</sup>(b)) }
::..

::T$\uparrow$ω = { q(b), q(f(b)), .., q(f<sup>n</sup>(b)), .. } = lfp .. *dál se již nemění*

* Spočtěte **gfp**

::Herbrandovská báze B<sub>P</sub> = { p(X), p(f<sup>n</sup>(X)), q(X), q(f<sup>n</sup>(X)), r(X), r(f<sup>n</sup>(X)); X$\in${a,b,c}, n>=1 }
::T$\downarrow$0 = B<sub>P</sub>

::T$\downarrow$1 = { p(a), p(f<sup>m</sup>(a)), p(f<sup>n</sup>(b)), p(f<sup>n</sup>(c)), q(b), q(f<sup>m</sup>(b)) q(f<sup>n</sup>(a)), q(f<sup>n</sup>(c)), r(c), r(f<sup>m</sup>(c)), r(f<sup>n</sup>(a)), r(f<sup>n</sup>(b)); n>=2, m>=1 } .. *odstraníme prvky, co nejsou důsledkem předchozího kroku*
::..

::T$\downarrow$k = { p(a), p(f<sup>m</sup>(a)), p(f<sup>n</sup>(b)), p(f<sup>n</sup>(c)), q(b), q(f<sup>m</sup>(b)) q(f<sup>n</sup>(a)), q(f<sup>n</sup>(c)), r(c), r(f<sup>m</sup>(c)), r(f<sup>n</sup>(a)), r(f<sup>n</sup>(b)); n>=k+1, m>=1 }
::..

::T$\downarrow$ω = { p(a), p(f<sup>m</sup>(a)), q(b), q(f<sup>m</sup>(b)), r(c), r(f<sup>m</sup>(c)); m>=1 } .. *není to ještě fix-point*
::T$\downarrow$ω+1 = { p(a), p(f<sup>m</sup>(a)), q(b), q(f<sup>m</sup>(b)), r(f<sup>m</sup>(c)); m>=1 }

::..
::T$\downarrow$ω*2 = { q(b), q(f<sup>m</sup>(b)), p(a), p(f<sup>m</sup>(a)); m>=1 } = gfp .. *dál se již nemění*

Niekto tu pri mne sedi a chce po mne aby som sem pridal link http://www.ksi.mff.cuni.cz/~vojtas/vyuka/DBI006_Dotazovaci_jazykyII/0910/02_TabDot_StatAnal_Opt_0910/NDBI006_02_StatAnalOpt_0910.ppt ma pistol!!!

[Category:Informatika](Category:Informatika)