UVVs: Identifying Unchanged Vertex Values in Evolving Graphs via Intersection-Union Analysis

This artifact provides our implementation of UVV detection (intersection–union bounding), QRS construction, and concurrent incremental evaluation (CQRS) for evolving-graph queries. The prototype is built on top of RisGraph and includes modifications to RisGraph’s data structures and incremental execution to support UVV-aware pruning, delta pruning, and multi-snapshot concurrent processing.