DBScholar

Back to papers

The Well-Founded Semantics of Aggregation (Extended Abstract)

Summary: Gives a well-founded semantics for aggregation, treating first-order and inductive aggregates under recursion using definable subset/superset predicates and a negatively-used findall. Produces robust outcomes (e.g., handles negative-weight edges and leaves tuples undefined for negative cycles) without extra semantic machinery. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
h0a39e1a81fdd1f44
Venue
PODS
Year
1992
Pagerank
6.1949203e-05
Overall Rank
5,257 | 64.77%
DOI
10.1145/137097.137854

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{gelder_pods92,
        address = {New York, NY, USA},
        series = {{PODS} '92},
        title = {{The Well-Founded Semantics of Aggregation (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/137097.137854},
        doi = {10.1145/137097.137854},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Van Gelder, Allen},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank Citing Paper Year Venue Pagerank
4,102 Monotonic Aggregation in Deductive Databases 1992 PODS 6.7929603e-05
4,262 Variable Independence and Aggregation Closure 1996 PODS 6.6817915e-05
8,275 The Valid Model Semantics for Logic Programs 1992 PODS 5.3477168e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
533 The Magic of Duplicates and Aggregates 1990 VLDB 0.00016794756
2,556 Aggregation and Relevance in Deductive Databases 1991 VLDB 8.2787456e-05
3,635 Minimum and Maximum Predicates in Logic Programming 1991 PODS 7.1266264e-05
4,102 Monotonic Aggregation in Deductive Databases 1992 PODS 6.7929603e-05
7,547 CONSTRAINT QUERY LANGUAGES (preliminary report) 1990 PODS 5.4816503e-05
8,275 The Valid Model Semantics for Logic Programs 1992 PODS 5.3477168e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 1,463 Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model 1989 PODS
2 5,356 On the Expressive Power of Logic Programming Languages with Sets 1988 PODS
3 8,160 On the First-Order Expressibility of Recursive Queries 1989 PODS
4 831 Logic Programming With Sets 1987 PODS
5 13,503 Fixed-point semantics and the representation of algorithms on large data 1988 VLDB
6 533 The Magic of Duplicates and Aggregates 1990 VLDB
7 8,487 The Expressive Powers of the Logic Programming Semantics 1990 PODS
8 8,275 The Valid Model Semantics for Logic Programs 1992 PODS
9 1,557 Unfounded Sets and Well-Founded Semantics for General Logic Programs 1988 PODS
10 4,102 Monotonic Aggregation in Deductive Databases 1992 PODS