Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://er.nau.edu.ua/handle/NAU/11079| Назва: | ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ |
| Автори: | Пискунов, А.Г. |
| Ключові слова: | ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ |
| Дата публікації: | 2002 |
| Бібліографічний опис: | П |
| Короткий огляд (реферат): | В работе обсуждается использование языков формальных спецификаций, в частности, RSL ( cm. [2],[3] ) для проектирования реляционных баз данных на примере небольшого проекта GSAU ( cm. [8] ) - "Коммуникационная Компонента Системы Управления Заправочной Станцией". В проекте описываются две пары таблиц, попарно связанных отношением один- ко - многим. Одна пара содержит реальное состояние насосов заправочной станиции, другая служит для передачи управляющих сигналов от операторов к контроллеру насосов. |
| URI (Уніфікований ідентифікатор ресурсу): | http://er.nau.edu.ua/handle/NAU/11079 |
| Розташовується у зібраннях: | Наукові роботи співробітників кафедри прикладної математики |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| gsau.pdf | 176.65 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.