О задаче проверки дедуктивной безопасности запросов к базам данныхстатья