『[1607.04822] HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics』2025/7/6 12:37:00 https://arxiv.org/abs/1607.04822
