Stratifikovaný DATALOG

• Df: Program P je stratifikovatelný, jestliže existuje dělení P = P1 …  Pn (Pi jsou navzájem disjunktní) takové, že pro každé i <1,n> platí:

• 1. Vyskytuje-li se relační symbol S pozitivně v nějakém pravidle z Pi, pak definice S je obsažena v ji Pj

• 2. Vyskytuje-li se relační symbol S negativně v nějakém pravidle z Pi, pak definice S je obsažena v j<i Pj

• (P1 může být )

• Df.: Dělění P1,…, Pn se nazývá stratifikace P, každé Pi je stratum.

• Terminologie: stratifikace … rozvrstvení

• stratum … vrstva