Stratifikovaný DATALOG

• není pravda, že jeden model je menší než druhý,

• neexistuje žádný model menší než M1 nebo M2

•  máme dva minimální modely

• Intuice: omezení negace - použije-li se, pak na již známou relaci, tj. relace musí nejprve být definovány (event. rekurzivně) bez negace, Pak nová relace může být definována pomocí nich bez nebo s negacemi.

• Df.: Definice virtuální relace S je množina všech pravidel, které mají S v hlavě.

• Df.: S se vyskytuje v pravidlu pozitivně (negativně), je-li obsažena v pozitivním (negativním) literálu.