本論文では、SQL クエリの等価性を検証するために、以下の取り組みを行っている:
本手法は、SQLSolverやSPESなどの既存ツールと比べて、以下の利点がある:
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Mudathir Moh... alle arxiv.org 05-07-2024
https://arxiv.org/pdf/2405.03057.pdfDomande più approfondite