Binding Propagation in Disjunctive Databases

Summary: Rewrites disjunctive deductive programs into equivalent nested-head rules under possible semantics, propagating query bindings. Shrinks relevant data, reducing both single-model computation and, crucially, the number of models explored; supports negation-free and stratified linear programs. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: hff006f16a91b5f8c
Venue: VLDB
Year: 1998
Pagerank: 4.9793485e-05
Overall Rank: 13,229 | 11.06%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Sergio Greco (University of Calabria)

BibTeX Citation

@article{greco_vldb98,
        title = {{Binding Propagation in Disjunctive Databases}},
        author = {Greco, Sergio},
        journal = {PVLDB},
        series = {{VLDB} '98},
        year = {1998}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
1,979	Efficient Evaluation of Right-, Left-, and Multi-Linear Rules	1989	SIGMOD	9.2716242e-05
4,187	Argument Reduction by Factoring	1989	VLDB	6.748235e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,528	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
2	4,459	Semantic Query Optimization in the Presence of Types	2010	PODS
3	13,389	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS
4	2,551	Aggregation and Relevance in Deductive Databases	1991	VLDB
5	4,735	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB
6	2,923	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS
7	9,266	Efficiently Ordering Subgoals with Access Constraints [Extended Abstract]	2006	PODS
8	13,373	Implementing Deductive Databases by Linear Programming	1992	PODS
9	7,712	Complexity Aspects of Various Semantics for Disjunctive Databases	1993	PODS
10	8,053	Polynomial-time program transformations in deductive databases	1990	PODS