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.00018643929
Overall Rank: 652 | 95.48%
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
353	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00026275228
448	The Magic of Duplicates and Aggregates	1990	VLDB	0.00022922417
720	Object-Oriented Database Systems	1988	PODS	0.00017531889
910	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015398775
1,450	Theory of Database Queries (Extended Abstract)	1988	PODS	0.00011926567
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,739	Towards a Real Horn Clause Language	1988	VLDB	6.7979486e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6936517e-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
8,324	New Data Models and Languages - the Challenge	1992	PODS	4.5392079e-05
9,511	Nested Relation Based Database Knowledge Representation	1991	SIGMOD	4.3300131e-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.00099936325
93	Remarks on the Algebra of Non First Normal Form Relations	1982	PODS	0.00051290296
311	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS	0.00028106558
385	Data Structures for an Integrated Data Base Management and Information Retrieval System	1982	VLDB	0.00024765733
443	A Calculus for Complex Objects	1986	PODS	0.00023059917
485	A New Approach to Database Logic	1984	PODS	0.00022061287
520	LDL: A Logic-Based Data-Language	1986	VLDB	0.00021145923
544	An Algebra Of Quotient Relations	1977	SIGMOD	0.00020423199
910	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015398775
1,051	A Normal Form for Nested Relations	1985	PODS	0.00014421811
4,935	CQLF--A Query Language for CODASYL-type Databases	1982	SIGMOD	5.8151747e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
1,796	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.00010505292
448	The Magic of Duplicates and Aggregates	1990	VLDB	0.00022922417
910	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00015398775
173	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS	0.00038731283
4,857	The Well-Founded Semantics of Aggregation (Extended Abstract)	1992	PODS	5.8684162e-05
12,887	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages	1993	VLDB	4.1905499e-05
9,170	Extending Logic Programming	1990	SIGMOD	4.380727e-05
1,983	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS	9.8694826e-05
3,739	Towards a Real Horn Clause Language	1988	VLDB	6.7979486e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6936517e-05