Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)
Summary: Compile-time rewriting of LDL rules with set terms into ordinary Horn clauses, avoiding general-purpose set matching and its n-times-exponential blowup by exploiting rule-specific information to prune alternatives. Produces specialized execution plans with much lower runtime and modest compilation overhead amortizable across many runs. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Oded Shmueli
- 2. Shalom Tsur
- 3. Carlo Zamolo
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,799 | A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) | 1989 | PODS | 0.0001051612 |
| 3,738 | Towards a Real Horn Clause Language | 1988 | VLDB | 6.8032471e-05 |
| 12,889 | Implementing Deductive Databases by Linear Programming | 1992 | PODS | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022085103 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
| 912 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015414126 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,598 | Polynomial-time program transformations in deductive databases | 1990 | PODS | 4.7004867e-05 |
| 12,847 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1945683e-05 |
| 519 | LDL: A Logic-Based Data-Language | 1986 | VLDB | 0.00021154077 |
| 5,628 | Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries | 1990 | VLDB | 5.4030815e-05 |
| 912 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015414126 |
| 649 | Logic Programming With Sets | 1987 | PODS | 0.00018662857 |
| 12,970 | Computing Facts In Non-Horn Deductive Systems. | 1988 | VLDB | 4.1945683e-05 |
| 8,454 | On the power of Rule-Based Languages with Sets | 1991 | PODS | 4.5082358e-05 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6992154e-05 |
| 3,738 | Towards a Real Horn Clause Language | 1988 | VLDB | 6.8032471e-05 |