Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Νομικός, Χρίστος; Gergatsoulis, Manolis; Rondogiannis, Panos; Nomikos, Christos (2005)
We consider the problem of extending temporal deductive databases with stratified negation. We argue that the classical stratification test for deductive databases is too restrictive when one shifts attention to the temporal ...