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.0001229888
Overall Rank: 1,049 | 92.95%
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
352	On the Power of Magic	1987	PODS	0.00020223279
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019923978
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016847212
612	Composite Event Specification in Active Databases: Model & Implementation	1992	VLDB	0.00015573929
828	Logic Programming With Sets	1987	PODS	0.00013614671
904	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013171457
1,951	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.3191736e-05
2,150	Theory of Database Queries (Extended Abstract)	1988	PODS	8.953998e-05
2,457	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4375276e-05
2,551	Aggregation and Relevance in Deductive Databases	1991	VLDB	8.3095988e-05
2,751	Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions	1988	PODS	8.0562002e-05
2,968	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.8013847e-05
3,046	Tractable Query Languages for Complex Object Databases	1991	PODS	7.7144804e-05
3,142	C-Logic of Complex Objects	1989	PODS	7.5983724e-05
3,541	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.2161746e-05
4,158	Towards a Real Horn Clause Language	1988	VLDB	6.7735939e-05
5,019	A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract)	1989	SIGMOD	6.3112208e-05
5,040	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.3006733e-05
5,283	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.1979847e-05
5,335	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	6.1748115e-05
6,892	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	5.6541068e-05
7,682	Database Updates in Logic Programming	1988	PODS	5.4772833e-05
9,821	Nested Relation Based Database Knowledge Representation	1991	SIGMOD	5.1257999e-05
13,444	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	4.9793485e-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.00059023577
352	On the Power of Magic	1987	PODS	0.00020223279
635	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015368492
828	Logic Programming With Sets	1987	PODS	0.00013614671
863	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00013392127

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,682	Database Updates in Logic Programming	1988	PODS
2	3,796	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
3	4,949	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS
4	13,361	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB
5	1,919	The Expressiveness of a Family of Finite Set Languages	1991	PODS
6	8,051	IDLOG: Extending the Expressive Power of Deductive Database Languages	1990	SIGMOD
7	14,707	On Negation in HiLog	1991	PODS
8	1,744	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
9	635	LDL: A Logic-Based Data-Language	1986	VLDB
10	5,335	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS