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: 12723
Venue: VLDB
Year: 2022
Pagerank: 6.6210393e-05
Overall Rank: 3,926 | 72.72%
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,978	Extraction of Validating Shapes from very large Knowledge Graphs	2023	VLDB	4.870433e-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.00099936325
1,423	Magic is Relevant	1990	SIGMOD	0.00012047765

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,846	TriAL for RDF: Adapting Graph Query Languages for RDF Data	2013	PODS	4.9042778e-05
7,069	Magic-sets Transformation in Nonrecursive Systems	1992	PODS	4.8380576e-05
3,284	Magic Conditions	1990	PODS	7.2738706e-05
6,899	Containment of Graph Queries Modulo Schema	2024	PODS	4.8878659e-05
9,888	SHARQL: Shape Analysis of Recursive SPARQL Queries	2020	SIGMOD	4.2576366e-05
8,977	A Principled Approach to Bridging the Gap between Graph Data and their Schemas	2014	VLDB	4.4145674e-05
9,036	Transforming RDF Graphs to Property Graphs using Standardized Schemas	2024	SIGMOD	4.3997447e-05
11,645	Containment of Shape Expression Schemas for RDF	2019	PODS	4.1905499e-05
6,978	Extraction of Validating Shapes from very large Knowledge Graphs	2023	VLDB	4.870433e-05
11,073	Efficient Validation of SHACL Shapes with Reasoning	2024	VLDB	4.1905499e-05