Pages that link to "Item:Q685491"
From MaRDI portal
The following pages link to The generalized supplementary magic-sets transformation for stratified Datalog (Q685491):
Displaying 6 items.
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- An extension of Van Gelder's alternating fixpoint to magic programs (Q1924385) (← links)
- Magic sets and stratified databases (Q3125846) (← links)
- Modular stratification and magic sets for Datalog programs with negation (Q4327632) (← links)
- (Q5020560) (← links)
- Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases (Q6487687) (← links)