{{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
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>0 = {} ::T<sub>P</sub>k = T<sub>P</sub>(T<sub>P</sub>k-1)
::T<sub>P</sub>α = { T<sub>P</sub>β: β<α } .. α limitní ::T<sub>P</sub>0 = B<sub>P</sub>
::T<sub>P</sub>k = T<sub>P</sub>(T<sub>P</sub>k-1) ::T<sub>P</sub>α = { T<sub>P</sub>β: β<α } .. α 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
::T0 = {} ::T1 = { q(b) } .. přidáme prvky, co jsou důsledkem předchozího kroku
::T2 = { q(b), q(f(b)) } ::..
::Tk = { q(b), q(f(b)), .., q(f<sup>k-1</sup>(b)) } ::..
::Tω = { 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{a,b,c}, n>=1 } ::T0 = B<sub>P</sub>
::T1 = { 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 ::..
::Tk = { 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ω = { 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ω+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ω*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