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.00015414126
Overall Rank
912 | 93.66%
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
352 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00026299604
365 On the Power of Magic 1987 PODS 0.00025585898
445 The Magic of Duplicates and Aggregates 1990 VLDB 0.0002294367
484 Composite Event Specification in Active Databases: Model & Implementation 1992 VLDB 0.00022086995
649 Logic Programming With Sets 1987 PODS 0.00018662857
669 F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme 1989 SIGMOD 0.00018430212
1,448 Theory of Database Queries (Extended Abstract) 1988 PODS 0.00011938045
1,799 A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) 1989 PODS 0.0001051612
2,515 Untyped Sets, Invention, and Computable Queries 1989 PODS 8.6128871e-05
2,544 Aggregation and Relevance in Deductive Databases 1991 VLDB 8.5730083e-05
2,553 Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions 1988 PODS 8.5500139e-05
2,800 On the Expressive Power of Database Queries with Intermediate Types 1988 PODS 8.1019352e-05
3,033 C-Logic of Complex Objects 1989 PODS 7.6759237e-05
3,040 Tractable Query Languages for Complex Object Databases 1991 PODS 7.6707607e-05
3,317 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.2283048e-05
3,334 A Grammar-Based Approach Towards Unifying Hierarchical Data Models (extended abstract) 1989 SIGMOD 7.2092618e-05
3,738 Towards a Real Horn Clause Language 1988 VLDB 6.8032471e-05
4,337 LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance 1991 SIGMOD 6.2790019e-05
4,987 Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL) 1988 PODS 5.7844667e-05
5,102 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS 5.6992154e-05
6,693 Modelling Non Deterministic Queries and Updates In Deductive Databases 1988 VLDB 4.9598818e-05
6,932 Database Updates in Logic Programming 1988 PODS 4.8925595e-05
8,226 An Implementation Model For Reasoning With Complex Objects 1988 SIGMOD 4.5551494e-05
9,510 Nested Relation Based Database Knowledge Representation 1991 SIGMOD 4.3341665e-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.0010066783
365 On the Power of Magic 1987 PODS 0.00025585898
519 LDL: A Logic-Based Data-Language 1986 VLDB 0.00021154077
632 The Representation and Deductive Retrieval of Complex Objects 1985 VLDB 0.00018923134
649 Logic Programming With Sets 1987 PODS 0.00018662857
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
6,932 Database Updates in Logic Programming 1988 PODS 4.8925595e-05
4,491 Non-Deterministic Languages to Express Deterministic Transformations 1990 PODS 6.1422281e-05
4,757 Stable Models and Non-Determinism in Logic Programs with Negation 1990 PODS 5.9434944e-05
12,877 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB 4.1945683e-05
1,835 The Expressiveness of a Family of Finite Set Languages 1991 PODS 0.00010375854
7,368 IDLOG: Extending the Expressive Power of Deductive Database Languages 1990 SIGMOD 4.7507411e-05
14,196 On Negation in HiLog 1991 PODS -
1,381 Modular Stratification and Magic Sets for DATALOG Programs with Negation 1990 PODS 0.00012283951
519 LDL: A Logic-Based Data-Language 1986 VLDB 0.00021154077
5,102 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS 5.6992154e-05