Please use this identifier to cite or link to this item: https://er.nau.edu.ua/handle/NAU/11079
Title: ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ
Authors: Пискунов, А.Г.
Keywords: ИСПОЛЬЗОВАНИЕ ЯЗЫКОВ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ ПРИ ПРОЕКТИРОВАНИИ РЕЛЯЦИОННЫХ БАЗ ДАННЫХ
Issue Date: 2002
Citation: П
Abstract: В работе обсуждается использование языков формальных спецификаций, в частности, RSL ( cm. [2],[3] ) для проектирования реляционных баз данных на примере небольшого проекта GSAU ( cm. [8] ) - "Коммуникационная Компонента Системы Управления Заправочной Станцией". В проекте описываются две пары таблиц, попарно связанных отношением один- ко - многим. Одна пара содержит реальное состояние насосов заправочной станиции, другая служит для передачи управляющих сигналов от операторов к контроллеру насосов.
URI: http://er.nau.edu.ua/handle/NAU/11079
Appears in Collections:Наукові роботи співробітників кафедри прикладної математики

Files in This Item:
File Description SizeFormat 
gsau.pdf176.65 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.