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: 774
Venue: PODS
Year: 1987
Pagerank: 0.00018662857
Overall Rank: 649 | 95.49%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Gabriel M. Kuper

Incoming Citations (Sorted by Pagerank)

Showing 16 of 16 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
352	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00026299604
445	The Magic of Duplicates and Aggregates	1990	VLDB	0.0002294367
722	Object-Oriented Database Systems	1988	PODS	0.00017547917
912	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015414126
1,448	Theory of Database Queries (Extended Abstract)	1988	PODS	0.00011938045
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,738	Towards a Real Horn Clause Language	1988	VLDB	6.8032471e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6992154e-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
8,331	New Data Models and Languages - the Challenge	1992	PODS	4.5435639e-05
9,510	Nested Relation Based Database Knowledge Representation	1991	SIGMOD	4.3341665e-05

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.0010066783
97	Remarks on the Algebra of Non First Normal Form Relations	1982	PODS	0.0005080702
309	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS	0.00028136165
384	Data Structures for an Integrated Data Base Management and Information Retrieval System	1982	VLDB	0.00024797165
440	A Calculus for Complex Objects	1986	PODS	0.00023084404
485	A New Approach to Database Logic	1984	PODS	0.00022085103
519	LDL: A Logic-Based Data-Language	1986	VLDB	0.00021154077
545	An Algebra Of Quotient Relations	1977	SIGMOD	0.00020448712
912	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015414126
1,052	A Normal Form for Nested Relations	1985	PODS	0.00014436103
4,932	CQLF--A Query Language for CODASYL-type Databases	1982	SIGMOD	5.820566e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
1,835	The Expressiveness of a Family of Finite Set Languages	1991	PODS	0.00010375854
445	The Magic of Duplicates and Aggregates	1990	VLDB	0.0002294367
912	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015414126
172	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS	0.00038808816
4,855	The Well-Founded Semantics of Aggregation (Extended Abstract)	1992	PODS	5.8740691e-05
12,877	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1945683e-05
9,167	Extending Logic Programming	1990	SIGMOD	4.3849295e-05
1,979	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS	9.8794371e-05
3,738	Towards a Real Horn Clause Language	1988	VLDB	6.8032471e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6992154e-05