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: 2392
Venue: SIGMOD
Year: 1987
Pagerank: 6.7554367e-05
Overall Rank: 4,337 | 70.25%
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
2,957	Graph-Theoretic Methods In Database Theory	1990	PODS	7.9200375e-05
3,767	Right-, left- and multi-linear rule transformations that maintain context information	1990	VLDB	7.1421254e-05
5,288	Linearizing nonlinear recursions in polynomial time (Extended Abstract)	1989	PODS	6.280882e-05
5,295	Worst-case Complexity Analysis of Methods for Logic Query Implementation	1987	PODS	6.2784683e-05
6,948	On the Expected Size of Recursive Datalog Queries	1991	PODS	5.7306589e-05
9,503	Counting Methods for Cyclic Relations	1988	PODS	5.2586367e-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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
429	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018607152
622	LDL: A Logic-Based Data-Language	1986	VLDB	0.00015686753
5,295	Worst-case Complexity Analysis of Methods for Logic Query Implementation	1987	PODS	6.2784683e-05

Semantically Similar Papers

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