The following pages link to (Q4939252):
Displaying 4 items.
- A semantic approach to optimize linear datalog programs (Q854685) (← links)
- Preservation of integrity constraints in definite DATALOG programs (Q1208438) (← links)
- Efficient model construction for Horn logic with VLog (system description) (Q1799135) (← links)
- Provenance-directed Chase\&Backchase (Q1799305) (← links)