Sets and Negation in a Logic Database Language (LDL1)

Summary: LDL1 extends LDL with finite sets and negation, shows that without stratification programs can lack or have multiple minimal models, and imposes syntactic layering (stratification) to guarantee a unique minimal model computable bottom-up. Also translates grouping extensions into LDL1 and adapts magic-sets to produce equivalent, often more efficient, executable programs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hd469a51ac2ea458f
Venue: PODS
Year: 1987
Pagerank: 0.00012293092
Overall Rank: 1,049 | 92.96%
DOI: 10.1145/28659.28662

Incoming Non-self Citations Over Time

Authors

1. Catriel Beeri (Microelectronics And Technology Computer Corporation)
2. Shamim Naqvi (Microelectronics And Technology Computer Corporation)
3. Raghu Ramakrishnan (Microelectronics And Technology Computer Corporation)
4. Oded Shmueli (Microelectronics And Technology Computer Corporation)
5. Shalom Tsur (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{beeri_pods87,
        address = {New York, NY, USA},
        series = {{PODS} '87},
        title = {{Sets and Negation in a Logic Database Language (LDL1)}},
        url = {https://dl.acm.org/doi/10.1145/28659.28662},
        doi = {10.1145/28659.28662},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Beeri, Catriel and Naqvi, Shamim and Ramakrishnan, Raghu and Shmueli, Oded and Tsur, Shalom},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 24 of 24 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
353	On the Power of Magic	1987	PODS	0.00020213935
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019914615
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016845756
612	Composite Event Specification in Active Databases: Model & Implementation	1992	VLDB	0.00015566625
828	Logic Programming With Sets	1987	PODS	0.00013608891
905	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013165264
1,953	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3147717e-05
2,152	Theory of Database Queries (Extended Abstract)	1988	PODS	8.9497631e-05
2,457	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4335382e-05
2,551	Aggregation and Relevance in Deductive Databases	1991	VLDB	8.3057709e-05
2,751	Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions	1988	PODS	8.0523904e-05
2,970	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.7976956e-05
3,047	Tractable Query Languages for Complex Object Databases	1991	PODS	7.7108309e-05
3,143	C-Logic of Complex Objects	1989	PODS	7.5947835e-05
3,541	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.2127593e-05
4,158	Towards a Real Horn Clause Language	1988	VLDB	6.7704058e-05
5,023	A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract)	1989	SIGMOD	6.3082517e-05
5,044	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.2976907e-05
5,287	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.1950524e-05
5,341	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	6.1718886e-05
6,895	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	5.6514321e-05
7,688	Database Updates in Logic Programming	1988	PODS	5.4746904e-05
9,828	Nested Relation Based Database Knowledge Representation	1991	SIGMOD	5.1233734e-05
13,450	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	4.9769913e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00058997063
353	On the Power of Magic	1987	PODS	0.00020213935
636	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015361511
828	Logic Programming With Sets	1987	PODS	0.00013608891
865	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00013385895

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,688	Database Updates in Logic Programming	1988	PODS
2	3,799	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
3	4,952	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS
4	13,367	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
5	1,921	The Expressiveness of a Family of Finite Set Languages	1991	PODS
6	8,057	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
7	14,712	On Negation in HiLog	1991	PODS
8	1,746	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
9	636	LDL: A Logic-Based Data-Language	1986	VLDB
10	5,341	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS