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.2519332e-05
Overall Rank: 3,299 | 77.08%
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.00010945869
2,912	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.9261665e-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,452	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.0792604e-05
4,754	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	5.9377721e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,494	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	6.1363251e-05
12,939	Factoring Augmented Regular Chain Programs	1990	VLDB	4.1905499e-05
6,548	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0123519e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6936517e-05
8,941	Efficiently Ordering Subgoals with Access Constraints [Extended Abstract]	2006	PODS	4.4229886e-05
5,996	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2365238e-05
12,856	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1905499e-05
2,912	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.9261665e-05
12,914	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS	4.1905499e-05
3,452	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.0792604e-05