Browsing Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science by Subject "Temporal deductive databases"
Now showing items 1-1 of 1
-
Temporal stratification tests for linear and branching-time deductive databases
(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 ...