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 |
|---|---|---|---|---|
| 839 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00015989602 |
| 1,381 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 0.00012271947 |
| 7,980 | The Expressive Powers of the Logic Programming Semantics | 1990 | PODS | 4.6089395e-05 |
| 8,391 | Three-Valued Formalization of Logic Programming: Is It Needed? | 1990 | PODS | 4.523998e-05 |
| 12,626 | Soft Stratification for Magic Set Based Query Evaluation in Deductive Databases | 2003 | PODS | 4.1905499e-05 |
| 12,932 | Backward chaining evaluation in stratified disjunctive theories | 1990 | PODS | 4.1905499e-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.00099936325 |
| 359 | On the Power of Magic | 1987 | PODS | 0.00025830228 |
| 839 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00015989602 |
| 3,242 | Safety and Correct Translation of Relational Calculus Formulas | 1987 | PODS | 7.3273992e-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.00099936325 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 652 | Logic Programming With Sets | 1987 | PODS | 0.00018643929 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022061287 |
| 4,145 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS | 6.4076785e-05 |
| 12,806 | Structural Totality and Constraint Stratification | 1995 | PODS | 4.1905499e-05 |
| 1,381 | Modular Stratification and Magic Sets for DATALOG Programs with Negation | 1990 | PODS | 0.00012271947 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6936517e-05 |
| 6,934 | Database Updates in Logic Programming | 1988 | PODS | 4.8878659e-05 |
| 839 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00015989602 |