An Algorithm For Ordering Subgoals In Nail!
Summary: Polynomial-time algorithm for ordering subgoals to generate rule-goal graphs in NAIL! (polynomial when recursive predicate arity is bounded) to support ICODE generation. Always finds a rule-goal graph if one exists; implemented in Cprolog but may be suboptimal. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 127 | Querying Heterogeneous Information Sources Using Source Descriptions | 1996 | VLDB | 0.00044642203 |
| 870 | Query Optimization in the Presence of Limited Access Patterns | 1999 | SIGMOD | 0.00015771912 |
| 2,187 | The Complexity Of Ordering Subgoals | 1988 | PODS | 9.3375092e-05 |
| 2,492 | Partial Results for Online Query Processing | 2002 | SIGMOD | 8.6526489e-05 |
| 3,283 | Magic Conditions | 1990 | PODS | 7.280826e-05 |
| 6,957 | Adding Magic to an Optimising Datalog Compiler | 2008 | SIGMOD | 4.8859842e-05 |
| 8,937 | Efficiently Ordering Subgoals with Access Constraints [Extended Abstract] | 2006 | PODS | 4.427232e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.0010066783 |
| 2,187 | The Complexity Of Ordering Subgoals | 1988 | PODS | 9.3375092e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,254 | More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets | 2011 | SIGMOD | 5.1368042e-05 |
| 2,877 | Semantic Query Optimization in Datalog Programs (Extended Abstract) | 1995 | PODS | 7.9715251e-05 |
| 5,003 | Graph Queries in a Next-Generation Datalog System | 2013 | VLDB | 5.7652482e-05 |
| 14,196 | On Negation in HiLog | 1991 | PODS | - |
| 8,226 | An Implementation Model For Reasoning With Complex Objects | 1988 | SIGMOD | 4.5551494e-05 |
| 3,209 | Design and Implementation of the Glue-Nail Database System | 1993 | SIGMOD | 7.3763539e-05 |
| 2,187 | The Complexity Of Ordering Subgoals | 1988 | PODS | 9.3375092e-05 |
| 3,336 | Glue-Nail: A Deductive Database System | 1991 | SIGMOD | 7.2064888e-05 |
| 7,090 | Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs | 1990 | VLDB | 4.8371966e-05 |
| 8,937 | Efficiently Ordering Subgoals with Access Constraints [Extended Abstract] | 2006 | PODS | 4.427232e-05 |