Điều gì có rất ít ứng dụng thú vị?
Các kỹ thuật phân tích tĩnh để xác minh phần mềm cũng có thể được áp dụng trong kịch bản của các ngôn ngữ truy vấn. Đặc biệt, khung giải thích * trừu tượng đã được mở rộng sang lĩnh vực ngôn ngữ truy vấn cho cơ sở dữ liệu quan hệ như một cách để hỗ trợ các kỹ thuật xấp xỉ âm thanh. Ngữ nghĩa của các ngôn ngữ truy vấn có thể được điều chỉnh theo các trừu tượng phù hợp của miền dữ liệu cụ thể. Việc trừu tượng hoá hệ thống cơ sở dữ liệu quan hệ có nhiều ứng dụng thú vị, đặc biệt, cho các mục đích bảo mật, chẳng hạn như kiểm soát truy cập hạt mịn, watermarking, v.v.