Now showing items 1-1 of 1

    • Temporal stratification tests for linear and branching-time deductive databases 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Νομικός, Χρίστος; 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 ...