SQL等価性検証ツールCosetteを使ってみた - Qiita

はじめに 皆さん、SQLチューニングしてますか？（唐突） 私は仕事柄RDBMSのSQLチューニングをすることが多いのですが、たまにチューニングの一環で SQL文の書き換え をすることがあります。 その際に問題になるのが、書き換えたSQL文が等価であるかどうかの確認が大変なことです。 SQL文を書き換えた場合には、想定通りの結果を取得できるか確認するために、テストをやり直す必要があります。 これが開発早期のフェーズならまだましなのですが、結合テスト以降だと手戻りも多くかなりコストがかかりますし、既に本番運用が始まったシステムともなると、テスト自体が困難なこともあります。 また、複雑なSQL文だと網羅的なテストケースを作成すること自体が困難であるため、完全に正しいと確信することはできません。 なので、SQL文の書き換えの正しさを証明する良い手段はないかと考えていました。 SQLチューニングとは

[masterq]

素晴しい。こんなことができるのか。確かに発展が待たれる

[kasuke18]

期待

[kakusuke07]

将来に期待

[sasasin_net]

実データやテストデータを用意して、SQL実行結果を現新比較がベターですが、準備が大変ですからねえ、使える範囲が広がりまくってほしい

[civitaspo]

激アツ感ある

[tmatsuu]

SQLを書き換えたときに等価がどうかチェックしてくれるツール。ほーいいね。試してみよう。

[sh19910711]

2018 / "Cosette: SQL文の等価性を自動的に検証してくれるツール / 検証により、等価/非等価/決定不能を判定。非等価の場合、反例も出力 / SELECT文のみ対応 + 現時点では検証できないパターンが多く、実用性は乏しい"