Database Paper Browser

Back to papers

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
775
Venue
PODS
Year
1987
Pagerank
0.00015398775
Overall Rank
910 | 93.68%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 24 of 24 citing papers.

Rank Citing Paper Year Venue Pagerank
353 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00026275228
359 On the Power of Magic 1987 PODS 0.00025830228
448 The Magic of Duplicates and Aggregates 1990 VLDB 0.00022922417
484 Composite Event Specification in Active Databases: Model & Implementation 1992 VLDB 0.00022067136
652 Logic Programming With Sets 1987 PODS 0.00018643929
669 F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme 1989 SIGMOD 0.00018413233
1,450 Theory of Database Queries (Extended Abstract) 1988 PODS 0.00011926567
1,796 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.00010505292
2,520 Untyped Sets, Invention, and Computable Queries 1989 PODS 8.6044305e-05
2,544 Aggregation and Relevance in Deductive Databases 1991 VLDB 8.5646035e-05
2,560 Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions 1988 PODS 8.541561e-05
2,808 On the Expressive Power of Database Queries with Intermediate Types 1988 PODS 8.0939851e-05
3,039 C-Logic of Complex Objects 1989 PODS 7.6684755e-05
3,043 Tractable Query Languages for Complex Object Databases 1991 PODS 7.6632326e-05
3,320 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.2212998e-05
3,334 A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) 1989 SIGMOD 7.2024301e-05
3,739 Towards a Real Horn Clause Language 1988 VLDB 6.7979486e-05
4,335 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2729533e-05
4,986 Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) 1988 PODS 5.7789317e-05
5,102 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS 5.6936517e-05
6,695 Modelling Non Deterministic Queries and Updates In Deductive Databases 1988 VLDB 4.9550839e-05
6,934 Database Updates in Logic Programming 1988 PODS 4.8878659e-05
8,224 An Implementation Model For Reasoning With Complex Objects 1988 SIGMOD 4.550782e-05
9,511 Nested Relation Based Database Knowledge Representation 1991 SIGMOD 4.3300131e-05
Previous Page 1 / 1 Next

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.00099936325
359 On the Power of Magic 1987 PODS 0.00025830228
520 LDL: A Logic-Based Data-Language 1986 VLDB 0.00021145923
637 The Representation and Deductive Retrieval of Complex Objects 1985 VLDB 0.00018812264
652 Logic Programming With Sets 1987 PODS 0.00018643929
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
6,934 Database Updates in Logic Programming 1988 PODS 4.8878659e-05
4,494 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 6.1363251e-05
4,754 Stable Models and Non-Determinism in Logic Programs with Negation 1990 PODS 5.9377721e-05
12,887 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB 4.1905499e-05
1,833 The Expressiveness of a Family of Finite Set Languages 1991 PODS 0.00010365844
7,363 IDLOG: Extending the Expressive Power of Deductive Database Languages 1990 SIGMOD 4.7461604e-05
14,210 On Negation in HiLog 1991 PODS -
1,381 Modular Stratification and Magic Sets for DATALOG Programs with Negation 1990 PODS 0.00012271947
520 LDL: A Logic-Based Data-Language 1986 VLDB 0.00021145923
5,102 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS 5.6936517e-05