DBScholar

Back to papers

Logic Programming With Sets

Summary: Extends Horn-clause logic programming with first-class sets (only sets-of-individuals), adding primitive predicates (membership, subset, disjoint, union) and restricted universal quantifiers on clause RHS to express aggregation and non-1NF relations. Keeps Prolog-like rule syntax while enabling declarative set-based queries without encoding iteration/control. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
773
Venue
PODS
Year
1987
Pagerank
0.00013911498
Overall Rank
799 | 94.52%
DOI
10.1145/28659.28661

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{kuper_pods87,
        address = {New York, NY, USA},
        series = {{PODS} '87},
        title = {{Logic Programming With Sets}},
        url = {https://dl.acm.org/doi/10.1145/28659.28661},
        doi = {10.1145/28659.28661},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Kuper, Gabriel M.},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank Citing Paper Year Venue Pagerank
355 Object Identity As A Query Language Primitive 1989 SIGMOD 0.00020351749
527 The Magic of Duplicates and Aggregates 1990 VLDB 0.00017108864
849 Object-Oriented Database Systems 1988 PODS 0.00013620915
1,026 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012578477
2,110 Theory of Database Queries (Extended Abstract) 1988 PODS 9.1532803e-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
5,210 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS 6.3163157e-05
7,536 Database Updates in Logic Programming 1988 PODS 5.6029996e-05
8,562 New Data Models and Languages - the Challenge 1992 PODS 5.4119882e-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
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 11 of 11 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
140 Remarks on the Algebra of Non First Normal Form Relations 1982 PODS 0.00029686538
421 The Format Model: A Theory of Database Organization (extended abstract) 1982 PODS 0.00018742219
475 A Calculus for Complex Objects 1986 PODS 0.00017864549
544 A New Approach to Database Logic 1984 PODS 0.00016792556
622 LDL: A Logic-Based Data-Language 1986 VLDB 0.00015686753
627 Data Structures for an Integrated Data Base Management and Information Retrieval System 1982 VLDB 0.00015634312
1,026 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS 0.00012578477
1,056 A Normal Form for Nested Relations 1985 PODS 0.00012388199
1,586 An Algebra Of Quotient Relations 1977 SIGMOD 0.00010282631
5,541 CQLF--A Query Language for CODASYL-type Databases 1982 SIGMOD 6.1805619e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 1,864 The Expressiveness of a Family of Finite Set Languages 1991 PODS
2 527 The Magic of Duplicates and Aggregates 1990 VLDB
3 1,026 Sets and Negation in a Logic Database Language (LDL1) 1987 PODS
4 174 Decidability And Expressiveness Aspects Of Logic Queries 1987 PODS
5 5,111 The Well-Founded Semantics of Aggregation (Extended Abstract) 1992 PODS
6 13,071 A Domain-theoretic Approach to Integrating Functional and Logic Database Languages 1993 VLDB
7 9,326 Extending Logic Programming 1990 SIGMOD
8 4,072 Towards a Real Horn Clause Language 1988 VLDB
9 2,474 Logic Programming as Constructivism: A Formalization and its Application to Databases 1989 PODS
10 5,210 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS