This page is hosted for free by zzz.com.ua, if you are owner of this page, you can remove this message and gain access to many additional features by upgrading your hosting to PRO or VIP for just 8.33 UAH.
Do you want to support owner of this site? Click here and buy hosting plan!
Prev Home Russian version Next

A. PISKUNOV, V.ILYUHIN

ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ

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

HTML document

Prev Up Next