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)

Paper ID: 811
Venue: PODS
Year: 1988
Pagerank: 6.3398667e-05
Overall Rank: 5,161 | 64.60%
DOI: 10.1145/308386.308400

Incoming Non-self Citations Over Time

Authors

1. Oded Shmueli (Microelectronics And Technology Computer Corporation; Technion)
2. Shalom Tsur (Microelectronics And Technology Computer Corporation)
3. Carlo Zamolo (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{shmueli_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)}},
        url = {https://dl.acm.org/doi/10.1145/308386.308400},
        doi = {10.1145/308386.308400},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Shmueli, Oded and Tsur, Shalom and Zamolo, Carlo},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
4,072	Towards a Real Horn Clause Language	1988	VLDB	6.9258731e-05
13,083	Implementing Deductive Databases by Linear Programming	1992	PODS	5.093636e-05

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
544	A New Approach to Database Logic	1984	PODS	0.00016792556
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012578477

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,886	Polynomial-time program transformations in deductive databases	1990	PODS
2	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
3	622	LDL: A Logic-Based Data-Language	1986	VLDB
4	6,729	Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries	1990	VLDB
5	1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS
6	799	Logic Programming With Sets	1987	PODS
7	13,167	Computing Facts in Non-Horn Deductive Systems	1988	VLDB
8	13,097	On the power of Rule-Based Languages with Sets	1991	PODS
9	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
10	4,072	Towards a Real Horn Clause Language	1988	VLDB