Pages that link to "Item:Q1978016"
From MaRDI portal
The following pages link to Inference of monotonicity constraints in Datalog programs (Q1978016):
Displaying 7 items.
- Monotonic aggregation in deductive databases (Q676422) (← links)
- Checking functional consistency in deductive databases (Q911816) (← links)
- Preservation of integrity constraints in definite DATALOG programs (Q1208438) (← links)
- On the monotonicity of (LDL) logic programs with set. (Q1353958) (← links)
- Mapping monotonic restrictions in inductive inference (Q2117774) (← links)
- Monadic Datalog Containment (Q3167001) (← links)
- Datalog with Negation and Monotonicity. (Q5874373) (← links)