ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ
| dc.contributor.author | Пискунов, А.Г. | |
| dc.date.accessioned | 2014-10-31T22:39:13Z | |
| dc.date.available | 2014-10-31T22:39:13Z | |
| dc.date.issued | 2002 | |
| dc.description.abstract | В работе обсуждается использование языков формальных спецификаций, в частности, RSL ( cm. [2],[3] ) для проектирования реляционных баз данных на примере небольшого проекта GSAU ( cm. [8] ) - "Коммуникационная Компонента Системы Управления Заправочной Станцией". В проекте описываются две пары таблиц, попарно связанных отношением один- ко - многим. Одна пара содержит реальное состояние насосов заправочной станиции, другая служит для передачи управляющих сигналов от операторов к контроллеру насосов. | uk_UA |
| dc.identifier.citation | П | uk_UA |
| dc.identifier.uri | http://er.nau.edu.ua/handle/NAU/11079 | |
| dc.subject | ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ | uk_UA |
| dc.title | ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ | uk_UA |
| dc.type | Article | uk_UA |