Cтраница 2
Понятно, что все бинарные отношения, связанные с данными А и В, составляют булеву алгебру, и, в частности, можно говорить о пересечении бинарных отношений. [16]
Основу определения семантики составляют бинарные отношения и функции доступа. Другие семантические характеристики, такие, как правильность, непротиворечивость и избыточность, задаются программно. Логический доступ к данным обеспечивается посредством программ, реализующих элементарные операции доступа. Удобно, что полная модель семантики данных, включая процедуры обработки информации, может быть формально описана в терминах самой модели. [17]
Особо заметим, что приведенные бинарные отношения имеют смысл только в том случае, когда обе части отношения совместимы по классу. Класс элементарного данного определяется особенностью его шаблона. Считается, что сравниваемые величины могут быть: 1) цифровыми; 2) буквенными, 3) цифро-бук-венными, 4) цифровыми редактируемыми. [18]
Особо заметим, что приведенные бинарные отношения имеют смысл только в том случае, когда обе части отношения совместимы по классу. Класс элементарного данного определяется особенностью его шаблона. Считается, что сравниваемые величины могут быть: 1) цифровыми, 2) буквенными, 3) цифро-буквенными, 4) цифровыми редактируемыми. При этом цифровые величины совместимы по классу только с цифровыми, буквенные - с буквенными и цифро-буквенными, цифро-буквенные - с буквенными и цифро-буквенными, цифровые редактируемые - только с цифровыми редактируемыми. [19]
Между операторами процесса существуют бинарные отношения включения и выключения. [20]
Однако, если рассматривать только бинарные отношения в данном множестве, то обстоятельство, что бинарные отношения представляют множество пар, делает алгебру бинарных отношений более богатой, чем простая алгебра подмножеств произвольного множества. Ясно, что фгр является бинарным отношением в множестве А. [21]
Единицами для этого умножения служат диагональные бинарные отношения. Умножение и инволюция позволяют выражать свойства С. [22]
В ряде работ сами графы ( бинарные отношения) выступают как элементы той или иной алгебраической системы. [23]
Покажите, что если в содержит произвольные бинарные отношения, то для несобственного подмножества операций из теоремы 3.1 теорема перестает быть верной. [24]
Можно изображать геометрически на плоскости и любые бинарные отношения с помощью графов следующим образом. [25]
В прикладной части диалоговой системы вычисляются нечеткие бинарные отношения Rij ( i, j 1, N), которыми формализована связь между параметрами Xi и х, в соответствии с условными предложениями. [26]
Пусть г и s - два бинарных отношения на множестве X, о ределяемые множествами, SQXXX. Беднарек [98] доказал, что для всякого квазипорядка существует цепно-эквивалентных ему частичный порядок. Он указал [97] несколько эквивалентных формулировок двух теорем Микля и Радо о бинарных рефлексивных и симметричных отношениях на абстрактных множествах, каждая из которых эквивалентна лемме Цорна. [27]
В зависимости от свойств, которыми обладают бинарные отношения, производят их типизацию. [28]
Исключим подобные случаи и будем рассматривать лишь бинарные отношения, которые для описания технических знаний действительно можно без натяжки считать бинарными. Теперь опишем язык ситуационного управления как язык бинарных отношений, с помощью которого очень легко описывать факты, ситуации и тому подобные категории, которые входят в то, что мы называем знанием. [29]
Цели проектирования и признаки объекта вступают в бинарные отношения. Описание, включающее цели и признаки, ранее было названо, концептуальным. [30]