Temporal stratification tests for linear and branching-time deductive databases.
Christos NomikosPanos RondogiannisManolis GergatsoulisPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- deductive databases
- temporal reasoning
- integrity constraints
- fixpoint
- logic programming
- query evaluation
- temporal constraints
- semantic query optimization
- declarative semantics
- disjunctive deductive databases
- integrity checking
- closed world assumption
- declarative language
- constraint checking
- temporal information
- model theoretic
- logical implication
- database systems
- hypothetical reasoning
- epistemic logic
- stable models
- qualitative and quantitative
- metadata