Greedy by Choice

Summary: Adds 'least' and 'choice' to Datalog under stable-model semantics, defining a compile-time-recognizable class of 'stage-stratified' programs to declaratively capture greedy algorithms. Provides fixpoint compilation and storage techniques achieving asymptotic costs comparable to procedural greedy implementations. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 959
Venue: PODS
Year: 1992
Pagerank: 7.259032e-05
Overall Rank: 3,297 | 77.07%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,668	CORAL—Control, Relations and Logic*	1992	VLDB	0.00010956582
2,907	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.933806e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
3,446	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.0861064e-05
4,757	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	5.9434944e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,491	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	6.1422281e-05
12,929	Factoring Augmented Regular Chain Programs	1990	VLDB	4.1945683e-05
6,551	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0171671e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6992154e-05
8,937	Efficiently Ordering Subgoals with Access Constraints [Extended Abstract]	2006	PODS	4.427232e-05
12,847	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1945683e-05
5,992	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2415551e-05
2,907	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.933806e-05
12,904	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS	4.1945683e-05
3,446	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.0861064e-05