Le tecniche di analisi statica per la verifica software possono essere applicate anche nello scenario dei linguaggi di interrogazione. In particolare, il framework di interpretazione *Abstract è stato esteso al campo dei linguaggi di interrogazione per i database relazionali come un modo per supportare le tecniche di approssimazione sonora. La semantica dei linguaggi di interrogazione può essere sintonizzata in base alle astrazioni adeguate del dominio concreto dei dati. L' astrazione del sistema di database relazionale ha molte applicazioni interessanti, in particolare, per scopi di sicurezza, come il controllo dell' accesso a grana fine, watermarking, ecc.
Che cos' è una misura di sicurezza che utilizza un sistema di database relazionale?
watermarking