Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=триггерные связки<.>)
Общее количество найденных документов : 1
1.


    Корниенко, А. А.
    Метод формальной верификации и анализа защищенности реляционных баз данных на основе метамодели требований целостности [Текст] / А. А. Корниенко, М. Л. Глухарев // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 20-27 : табл., схема. - Библиогр.: с. 27 (7 назв.) . - ISSN 2071-8217
УДК
^a004.78
^a004.41/42
ББК 32.973.202 + 32.973
Рубрики: Вычислительная техника
   Диалоговые вычислительные системы для специальных целей
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
базы данных -- безопасность баз данных -- верификация -- метамодели целостности -- ограничения целостности -- реляционные базы данных -- триггерные связки -- триггеры -- формальная верификация -- функциональная корректность
Аннотация: Рассматривается метод формальной верификации, основанный на метамодели требований целостности и позволяющий проверять функциональную корректность ограничений целостности и триггеров реляционных баз данных.


Доп.точки доступа:
Глухарев, М. Л.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)