CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
IsoVista: Black-Box Checking Database Isolation Guarantees
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
HRNN combines a navigation graph, ranked KNN graph, and reverse-neighbor lists with proxy-based candidate generation and materialized kNN-radii to achieve up to 10x higher throughput for approximate RkNN on datasets up to 10M vectors.
citing papers explorer
-
CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering
CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
-
HRNN: A Hybrid Graph Index for Approximate Reverse k-Nearest Neighbor Search on High-Dimensional Vectors
HRNN combines a navigation graph, ranked KNN graph, and reverse-neighbor lists with proxy-based candidate generation and materialized kNN-radii to achieve up to 10x higher throughput for approximate RkNN on datasets up to 10M vectors.