DOTAZOVACÍ JAZYKY slajdy přednášce DBI006
DOTAZOVACÍ JAZYKY slajdy přednášce DBI006. J. Pokorný MFF UK 060405. Rozšíření DATALOGu o negaci. Př.: NSR(x,y) … x je příbuzný y, ale není sourozencem y NSR(x,y) :- R(x,y), S’(x,y) NSR* = R* - S’* nebo NSR(X,Y) = R(X,Y) * S’ (X,Y), kde S’ je doplněk do nějakého vhodného univerza.
274 views • 15 slides