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: 774
Venue: PODS
Year: 1987
Pagerank: 0.00012578477
Overall Rank: 1,026 | 92.97%
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
344	On the Power of Magic	1987	PODS	0.00020659405
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
527	The Magic of Duplicates and Aggregates	1990	VLDB	0.00017108864
597	Composite Event Specification in Active Databases: Model & Implementation	1992	VLDB	0.00015921967
799	Logic Programming With Sets	1987	PODS	0.00013911498
877	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013464822
1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	9.5298123e-05
2,110	Theory of Database Queries (Extended Abstract)	1988	PODS	9.1532803e-05
2,400	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.6299917e-05
2,511	Aggregation and Relevance in Deductive Databases	1991	VLDB	8.4854377e-05
2,701	Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions	1988	PODS	8.240179e-05
2,897	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.9790527e-05
2,986	Tractable Query Languages for Complex Object Databases	1991	PODS	7.8912631e-05
3,083	C-Logic of Complex Objects	1989	PODS	7.7717632e-05
3,476	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.3807586e-05
4,072	Towards a Real Horn Clause Language	1988	VLDB	6.9258731e-05
4,899	A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract)	1989	SIGMOD	6.4539543e-05
4,919	LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance	1991	SIGMOD	6.4452856e-05
5,161	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS	6.3398667e-05
5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	6.3163157e-05
6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	5.7837368e-05
7,536	Database Updates in Logic Programming	1988	PODS	5.6029996e-05
9,645	Nested Relation Based Database Knowledge Representation	1991	SIGMOD	5.2434488e-05
13,154	An Implementation Model For Reasoning With Complex Objects	1988	SIGMOD	5.093636e-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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
344	On the Power of Magic	1987	PODS	0.00020659405
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
799	Logic Programming With Sets	1987	PODS	0.00013911498
848	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB	0.00013651467

Semantically Similar Papers

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