È possibile o addirittura possibile utilizzare l'algebra relazionale e / o il calcolo relazionale sotto forma di prove per verificare / verificare la correttezza delle istruzioni, delle funzioni e delle stored procedure SQL?
Mi sembra che dovrebbe essere almeno possibile, ma non so se c'è un dettaglio che mi manca che rende errata una mappatura 1: 1 tra la prova e il codice.
Qualcuno di voi ha provato un metodo come questo? Ha funzionato? Come sono state le tue esperienze?