Magic Counting Methods

Summary: Magic Counting Methods combine counting efficiency with magic-set propagation to speed fixpoint evaluation of recursive queries. Defines Independent and Integrated variants in a framework, with complexity and correctness analysis and an efficiency hierarchy. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h94c8a0f7d619f0d4
Venue: SIGMOD
Year: 1987
Pagerank: 6.5790432e-05
Overall Rank: 4,447 | 70.20%
DOI: 10.1145/38713.38725

Incoming Non-self Citations Over Time

Authors

1. Domenico Saccà (University of Calabria)
2. Carlo Zaniolo (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{sacca_sigmod87,
        title = {{Magic Counting Methods}},
        author = {Saccà, Domenico and Zaniolo, Carlo},
        series = {{SIGMOD} '87},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/38713.38725},
        url = {https://dl.acm.org/doi/10.1145/38713.38725},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,030	Graph-Theoretic Methods In Database Theory	1990	PODS	7.7156987e-05
3,856	Right-, left- and multi-linear rule transformations that maintain context information	1990	VLDB	6.9565167e-05
5,434	Linearizing nonlinear recursions in polynomial time (Extended Abstract)	1989	PODS	6.1169559e-05
5,440	Worst-case Complexity Analysis of Methods for Logic Query Implementation	1987	PODS	6.1144635e-05
7,112	On the Expected Size of Recursive Datalog Queries	1991	PODS	5.5809131e-05
9,724	Counting Methods for Cyclic Relations	1988	PODS	5.121278e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 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.00058816744
67	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.0003786983
443	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018161613
638	LDL: A Logic-Based Data-Language	1986	VLDB	0.0001531355
5,440	Worst-case Complexity Analysis of Methods for Logic Query Implementation	1987	PODS	6.1144635e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,440	Worst-case Complexity Analysis of Methods for Logic Query Implementation	1987	PODS
2	3,378	Magic Conditions	1990	PODS
3	1,443	Magic is Relevant	1990	SIGMOD
4	7,300	Magic-sets Transformation in Nonrecursive Systems	1992	PODS
5	7,112	On the Expected Size of Recursive Datalog Queries	1991	PODS
6	10,198	Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs	1987	VLDB
7	18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS
8	1,986	Efficient Evaluation of Right-, Left-, and Multi-Linear Rules	1989	SIGMOD
9	9,724	Counting Methods for Cyclic Relations	1988	PODS
10	443	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS