Язык программирования для безопасности баз данных