本論文では、SQL クエリの等価性を検証するために、以下の取り組みを行っている:
本手法は、SQLSolverやSPESなどの既存ツールと比べて、以下の利点がある:
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Mudathir Moh... a las arxiv.org 05-07-2024
https://arxiv.org/pdf/2405.03057.pdfConsultas más profundas