Apakah layak atau bahkan mungkin untuk menggunakan aljabar relasional dan / atau kalkulus relasional dalam bentuk bukti untuk menguji / memverifikasi kebenaran pernyataan SQL, fungsi, dan prosedur tersimpan?
Sepertinya saya paling tidak harus melakukannya, tapi saya tidak tahu apakah ada detail yang saya lewatkan sehingga membuat pemetaan 1: 1 antara bukti dan kode salah.
Adakah di antara kalian yang mencoba metode seperti ini? Apa itu bekerja? Seperti apa pengalaman Anda?