Magic Shapes for SHACL Validation

Summary: Magic Sets transform a SHACL shapes graph into S' so validation focuses on relevant neighborhoods. Targeted validation preserves equivalence when conflicts are absent and enables lazy evaluation for unrestricted recursion/negation, boosting performance vs full scans. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 12722
Venue: VLDB
Year: 2022
Pagerank: 6.6274198e-05
Overall Rank: 3,923 | 72.71%
DOI: 10.14778/3547305.3547329

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,979	Extraction of Validating Shapes from very large Knowledge Graphs	2023	VLDB	4.8751097e-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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.0010066783
1,423	Magic is Relevant	1990	SIGMOD	0.00012054867

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,847	TriAL for RDF: Adapting Graph Query Languages for RDF Data	2013	PODS	4.9089877e-05
7,075	Magic-sets Transformation in Nonrecursive Systems	1992	PODS	4.842703e-05
3,283	Magic Conditions	1990	PODS	7.280826e-05
6,896	Containment of Graph Queries Modulo Schema	2024	PODS	4.8925595e-05
9,889	SHARQL: Shape Analysis of Recursive SPARQL Queries	2020	SIGMOD	4.2617199e-05
8,971	A Principled Approach to Bridging the Gap between Graph Data and their Schemas	2014	VLDB	4.4187977e-05
9,034	Transforming RDF Graphs to Property Graphs using Standardized Schemas	2024	SIGMOD	4.4039656e-05
11,641	Containment of Shape Expression Schemas for RDF	2019	PODS	4.1945683e-05
6,979	Extraction of Validating Shapes from very large Knowledge Graphs	2023	VLDB	4.8751097e-05
11,070	Efficient Validation of SHACL Shapes with Reasoning	2024	VLDB	4.1945683e-05