Teknik analisis statis untuk verifikasi perangkat lunak dapat diterapkan juga dalam skenario bahasa query. Khususnya, kerangka interpretasi *Abstract telah diperluas ke bidang bahasa query untuk basis data relasional sebagai cara untuk mendukung pendekatan suara. Semantik bahasa query dapat disetel sesuai dengan abstraksi yang cocok dari ranah beton data. Absenisasi sistem basis data relasional memiliki banyak aplikasi yang menarik, khususnya, untuk tujuan keamanan, seperti kontrol akses yang halus, watermarking, dll.
Apa saja aplikasi yang sangat menarik?
data