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: 8687
Venue: VLDB
Year: 1998
Pagerank: 5.093636e-05
Overall Rank: 12,939 | 11.23%
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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
1,921	Efficient Evaluation of Right-, Left-, and Multi-Linear Rules	1989	SIGMOD	9.4809066e-05
4,099	Argument Reduction by Factoring	1989	VLDB	6.9030568e-05

Semantically Similar Papers

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