Il sorveglianza sa su Cosette avviene durante espediente assai semplicione, oppure: query SQL vengono considerate semanticamente equivalenti dal momento che, una rotazione eseguite, entrambe producono il uguale performance.
L’ubbia quartiere su Cosette è già quella su render facile questo meccanismo su prova rendendolo , i developer né saranno dunque obbligati a contenere manualmente le query prodotte dalla propria impegno, rito le quali potrebbe manifestarsi difficoltosa nel evento durante cui le interrogazioni generate dovessero individuo numerose.
Una rotazione le quali l’utilizzatore avrà inserito i dati da parte di constatare Cosette eseguirà operazioni:
- dal momento che le query SQL sono semanticamente identiche, dunque verrà un Proof Assistant (Coq) durante riscuotere una competizione meccanica e dichiarare valido la essi uguaglianza;
- dal momento che le query SQL sono diverse, dunque Cosette troverà un controesempio (vale a dire una spiegazione dell’ opposto) durante dar prova di le quali queste né sono equivalenti.
Ci sono dei casi durante cui Cosette né riesce a definire dal momento che query SQL sono equivalenti ovvero a meno che, isolato dunque verrà l’sovvenzione dell’.
Cosette è aperto su Github nel luogo in cui è immaginabile riconoscere quandanche dei link durante poterlo esaminare online. Nel pensiero il repository è aperto quandanche un dockerfile per mezzo di il quale innalzare la propria aspetto Docker durante impostare Cosette senza controllo problemi.
Parte University of Washington Database Group