Использование языков формальных спецификаций при проектировании реляционных баз данных

В работе обсуждается использование языков формальных спецификаций, в частности, RSL для проектирования реляционных баз данных на примере небольшого проекта GSAU - "Коммуникационная Компонента Системы Управления Заправочной Станцией". В проекте описываются две пары таблиц, попарно связанных отношением один- ко - многим. Одна пара содержит реальное состояние насосов заправочной станиции, другая служит для передачи управляющих сигналов от операторов к контроллеру насосов.


ключевые слова:
реляционная модель, проектирование, языки формальных спецификаций, RSL

автор:
ПИСКУНОВ А.Г., ИЛЮХИН В.Л.

Подробнее



Опубликовал admin
1 Авг, Среда 2007г.



Программирование для чайников.