Logic Programming as Constructivism: A Formalization and its Application to Databases
Summary: Develops a constructivist proof theory for non-Horn logic programming, reinterpreting stratification and introducing the larger classes of ‘loosely stratified’ and ‘constructively consistent’ programs. Provides DB‑focused consequences: defines ‘constructively domain independent’ quantified formulas and extends Generalized Magic Sets to these larger classes via a conditional‑fixpoint procedure. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Franois Bry
Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 843 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00016005595 |
| 1,381 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 0.00012283951 |
| 7,977 | The Expressive Powers of the Logic Programming Semantics | 1990 | PODS | 4.613363e-05 |
| 8,392 | Three-Valued Formalization of Logic Programming: Is It Needed? | 1990 | PODS | 4.5283415e-05 |
| 12,617 | Soft Stratification for Magic Set Based Query Evaluation in Deductive Databases | 2003 | PODS | 4.1945683e-05 |
| 12,922 | Backward chaining evaluation in stratified disjunctive theories | 1990 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 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 |
| 365 | On the Power of Magic | 1987 | PODS | 0.00025585898 |
| 843 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00016005595 |
| 3,238 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.334684e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.0010066783 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022085103 |
| 4,141 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS | 6.4141369e-05 |
| 12,797 | Structural Totality and Constraint Stratification | 1995 | PODS | 4.1945683e-05 |
| 1,381 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 0.00012283951 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6992154e-05 |
| 6,932 | Database Updates in Logic Programming | 1988 | PODS | 4.8925595e-05 |
| 843 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00016005595 |