Design and Implementation of the Glue-Nail Database System
Summary: Declarative Nail plus procedural Glue compile to IGlue, enabling end-to-end applications from a unified stack. Nail leverages magic-sets variants and well-founded models; Glue provides static optimizations; IGlue runs with a runtime adaptive optimizer; three optimizers synergize, with Glue-Nail largely complete and tested on representative workloads. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 339 | Optimization of Dynamic Query Evaluation Plans | 1994 | SIGMOD | 0.00026851113 |
| 4,199 | Implementation of Magic-sets in a Relational Database System | 1994 | SIGMOD | 6.3662839e-05 |
| 6,517 | An alternating fixpoint tailored to magic programs | 1993 | PODS | 5.0321577e-05 |
| 12,782 | Static Analysis of Intensional Databases in U-Datalog | 1996 | PODS | 4.1945683e-05 |
| 12,838 | XSB as an Efficient Deductive Database Engine | 1994 | SIGMOD | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1 | Access Path Selection in a Relational Database Management System | 1979 | SIGMOD | 0.0040449103 |
| 1,008 | The BANG file: a new kind of grid file | 1987 | SIGMOD | 0.00014666726 |
| 1,205 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013285448 |
| 1,381 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 0.00012283951 |
| 1,668 | CORAL—Control, Relations and Logic* | 1992 | VLDB | 0.00010956582 |
| 3,336 | Glue-Nail: A Deductive Database System | 1991 | SIGMOD | 7.2064888e-05 |
| 3,585 | Right-, left- and multi-linear rule transformations that maintain context information | 1990 | VLDB | 6.9454028e-05 |
| 6,517 | An alternating fixpoint tailored to magic programs | 1993 | PODS | 5.0321577e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 143 | Optimization of Nonrecursive Queries | 1986 | VLDB | 0.00041510555 |
| 14,001 | Languages for Multi-database Interoperability | 1997 | SIGMOD | - |
| 114 | A Query Language and Optimization Techniques for Unstructured Data | 1996 | SIGMOD | 0.00046339735 |
| 7,589 | Using Domain-Specific Languages For Analytic Graph Databases | 2016 | VLDB | 4.7030207e-05 |
| 2,199 | Gral: An Extensible Relational Database System for Geometric Applications | 1989 | VLDB | 9.3081334e-05 |
| 206 | Constructing an Interactive Natural Language Interface for Relational Databases | 2015 | VLDB | 0.00034667032 |
| 2,383 | How to Architect a Query Compiler | 2016 | SIGMOD | 8.9294108e-05 |
| 12,847 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1945683e-05 |
| 12,848 | An Effective Deductive Object-Oriented Database Through Language Integration | 1994 | VLDB | 4.1945683e-05 |
| 3,336 | Glue-Nail: A Deductive Database System | 1991 | SIGMOD | 7.2064888e-05 |