The following pages link to (Q4035348):
Displaying 8 items.
- Abstract interpretation of database query languages (Q456469) (← links)
- Circumscribing DATALOG: expressive power and complexity (Q1127538) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Bounded arity Datalog \((\neq)\) queries on graphs (Q1376404) (← links)
- Polynomial-time computable stable models (Q1380428) (← links)
- Bounded fixpoints for complex objects (Q1392283) (← links)
- (Q4473152) (← links)
- (Q4473258) (← links)