Cтраница 1
Спецификация данных может содержать любое количество пар списков данных и списков форматов. [1]
Спецификация данных в операторах GET и PUT задает элементы данных, которые должны быть переданы этими операторами. Список данных состоит из отдельных элементов, разделенных между собой запятыми. [2]
Спецификация данных может содержать любое количество пар списков данных и списков форматов. [3]
Единообразный стиль спецификации данных дает возможность использовать описания данных на всех стадиях функционирования ИА специалистам различного профиля. [4]
Способ передачи определяется формой спецификации данных. [5]
Система IDMS позволяет выполнить спецификацию данных различной длины типа строки в пределах одной записи. Это позволяет изменять местоположение записей в физических пределах длины до 10 тыс. байт. [6]
Когда указан один из управляющих режимов, спецификацию данных для файлов печати можно не задавать. [7]
С развитием СССД связана разработка полного декларативного языка для спецификации данных и систем. Хотя исследования в этой области проводятся на протяжении уже целого ряда лет, только сейчас они начинают приносить результаты, заслуживающие признания. И может быть, к 1990 г. мы получим действительно полный декларативный язык спецификаций. В свою очередь этот язык должен стать основой интерфейса пользователя и СССД. [8]
Спецификация явных ограничений обладает определенной автономией по отношению к структурной спецификации данных, поэтому в язык описания данных включают специальные средства для задания явных ограничений, либо в системе разрабатывается специальный язык спецификации ограничений. Во многих случаях для описания явных ограничений используются средства исчисления предикатов. Система управления базой данных проверяет непротиворечивость системы ограничений и при своем функционировании обеспечивает целостность данных в БД по отношению к заданным ограничениям. [9]
Формат В ( 1) относится ко всем элементам массива RK ( используемый вид спецификации данных поясняется на стр. Из входного потока для трех элементов массива RK выбираются соответственно 1, 1, 0, а для SB выбирается 10LJLJ; выбранные значения приводятся затем к атрибутам, указанным в описании. [10]
Здесь тип данных - специальный идентификатор, уникальный для каждого типа данных. Спецификации данных определяют и именуют конкретные данные. [11]
Спецификации используются также для оценок параметров проектируемых программ и КП в целом. Присутствие в спецификациях данных по потребным емкости памяти и длительностям исполнения программ позволяет автоматизировать процесс уточнения пропускной способности всей системы управления и обеспечивает возможность контроля выполнения требований по использованию ресурсов ВС и своевременного принятия решений при их нарушении. [12]
В Конвенциях МОТ по технике безопасности и гигиене труда был указан широкий круг специальных прав рабочих. Вообще говоря, рабочий имеет право на информацию по опасным рабочим условиям, на идентификацию химикатов, используемых на работе, и на получение спецификаций данных по химической безопасности. Он имеет право на обучение методам безопасной работы, на консультации с работодателем по всем аспектам техники безопасности и гигиены труда, связанным с работой, а также на прохождение медицинского осмотра бесплатно без потери дохода. Некоторые их этих Конвенций также признают права представителей рабочих, в частности те, которые касаются консультаций и информации. Эти права подкрепляются другими Конвенциями МОТ по свободе ассоциации, коллективным переговорам, представителям рабочих и защите от увольнения. [13]
Метод Джексона используется в сочетании с языком КОБОЛ и PL / I. Разработаны трансляторы, преобразующие текстовые эквиваленты джексо-новских схем информационных структур в программы, записанные на требуемом объектном языке. Утверждается, что по заданной спецификации данных всегда будет формироваться одна и та же программа. [14]
Отметим только что описанный метод представления данных имеет по крайней мере два важных. Например, строка, описание которой приведено выше, может быть реализована списками, массивами, векторами, записями, файлами и другими средствами языков программирования. Во-вторых, метод позволяет создавать спецификации данных, обладающие свойством непротиворечивости и полноты. Спецификация считается противоречивой, если любые две аксиомы описания противоречат друг другу, и неполной, если любые возможные сочетания недостаточны для представления полной информации о смысле операции над типом. В работе [20] пока-зано что проблема достаточной полноты аксиоматизации в общем случае неразрешима. [15]