Исчисление - отношение
Cтраница 1
 |
Символика в исчислении отношений. [1] |
Исчисление отношений может быть введено в различных формах. [2]
Недостатком исчисления отношений является сложность его разработки. Исчисление отношений требует более высокого уровня автоматизации. [3]
На основе исчисления типизированных отношений строит ся исчисление функциональных структур, предназначенное для описания этих структур и протекающих в них процессов. Рас сматриваются возможности его применения. [4]
Работы [3-5] посвящены теоретическим вопросам использования исчисления отношений. [5]
Лямбда-исчисление является скорее функциональным, чем исчислением отношений, и в этом состоит различие между ним и исчислением предикатов первого порядка. Так, отец - это функциональное отношение, а брат - более общее отношение, поскольку каждый человек может иметь только одного отца, а братьев может быть несколько. Ниже в этой главе мы более подробно остановимся на связях между языком LISP и лямбда-исчислением. [6]
К нормализованной БД применимы операция реляционной алгебры и исчисления отношений. [7]
Это может быть сделано автоматически с использованием так называемого исчисления отношений: пользователь просто указывает желаемое отношение и предоставляет машине самой решать, какие операции необходимо выбрать для получения нужного отношения из базы данных. Исчисление отношений - это аппарат для формулирования отношения, которое нужно получить из хранимых в базе данных отношений. [8]
Другим ЯМД для реляционных баз данных является класс языков, основанных на исчислении отношений. Исчисление отношений представляет собой совокупность обозначений для описания свойств результирующего отношения, выводимого из модели данных. Основным отличием ЯМД на основе исчисления отношений от алгебраического языка является то, что средства первого языка позволяют просто констатировать свойства искомого отношения в форме предиката первого порядка, а второй язык позволяет фактически строить отношения посредством последовательного выполнения специальных операций. Таким образом, ЯМД на основе исчисления отношений по сравнению с алгебраическим языком является непроцедурным. [9]
В таблице на рис. 13.11 приведен список символов, которые используются в исчислении отношений. [10]
На основании приведенных в таблице знаков символов отношений информационной математики можно строить различные системы исчислений отношений, которые будут разработаны современными физиками и математиками и создадут фундамент математических основ информациологии. [11]
Для снижения процедурности и создания максимальных удобств пользователям разработан ряд языков, основанных на исчислении отношений. Язык обладает абсолютной непроцедурностью, его предложения записываются не в виде традиционных операторов или команд, а в виде специальных альфа-выражений. [12]
Для описания таких отношений и операций над ними существуют точные математические обозначения, основанные на алгебре отношений или исчислении отношений. [13]
Языки, которые в этом случае предоставляются конечному пользователю, в той или иной мере основаны на реляционной алгебре или исчислении отношений. Языки, основанные на реляционной алгебре, в большей степени процедурны, чем языки, основанные на исчислении отношений, и позволяют строить достаточно сложные с использованием кванторов общности и существования) выражения, описывающие новое отношение, которое нужно получить, в терминах заданных отношений. [14]
Недостатком исчисления отношений является сложность его разработки. Исчисление отношений требует более высокого уровня автоматизации. [15]
Страницы: 1 2