Cтраница 1
У-значения, соответствующие точкам, лежащим вне поля А А В В, можно вычислить при помощи метода обратного вычисления. [1]
У-значений принятых реализаций по косинусному каналу занимают каждое по 8 байт ОЗУ. Для значений порогов Pz и / V также выделяется по 8 байт памяти Р и PQ соответственно. В качестве внешнего параметра, определяющего способ обработки, используется значение байта, поступающего из ВУ с номером 20, при этом нулевое значение будет соответствовать модульной аппроксимации. Это же ВУ будет применяться и в качестве порта вывода результата обработки: значение ООН соответствует случаю Сигнала нет, а значение FFH - случаю Сигнал есть. [2]
При этом х называют аргументом, а у-значением функции. Область определения функции называют также областью значений аргумента. [3]
Отметим, что каждый раз, когда тело правила R истинно в I для бесконечного числа У-значений, логическое значение всего правила не определено. Поскольку универсум LDL U не содержит бесконечных множеств в качестве элементов, мы не в состоянии интерпретировать голову R как 17-факт. [4]
При исследовании теории вычисляемых отношений, полезно воображать, что любое вычисляемое отношение г ( R) имеет табличное представление, хотя оно может быть бесконечным. У-значений по данным Х - значениям, поэтому яу ( ахх ( г)) содержит не более одной строки. [5]
Надо рассмотреть еще два экстремальных случая, а именно X - 0 и 0 - Y. F-зависимость Х - - 0 тривиально удовлетворяется любым отношением. F-зависимость 0 - - Y удовлетворяется теми отношениями, в которых У-значения всех кортежей совпадают. [6]
При наличии транзитивной зависимости X - Y - А мы не можем ассоциировать F-значение с Х - значением, если не существует Л - значения, ассоциированного с F-значением. Эта ситуация приводит к аномалиям включения и удаления, когда нельзя включить ассоциацию Х - к - Y без ассоциации Y-к - А. Кроме того, если удаляется Л - значение, ассоциированное с заданным У-значением, мы утрачиваем и ассоциацию Х - к - Y. [7]
Наши определения были введены в обратном по сравнению с обычным способом порядке. Обычно сначала определяется некоторое свойство, и после этого строится алгоритм для его проверки. Убедиться в том, что Q ( d), вообще говоря, не может быть вычислено, если Q не перечислимо, оставляется читателю в качестве упр. Для упрощения рассуждений мы считаем, что из любой С-зависимости X: Y следует соответствующая F-зависимость Х - Y. Поэтому для любого отношения г, удовлетворяющего зависимости X - : Y, можно предположить существование функции fx Y, выдающей некоторое У-значение по любому JV-значению или специальный символ к ( от слова kill - убить), который указывает, что г не содержит строки с данным Х - значением. Доказательство может быть обобщено на случай, когда допускается несколько F-значений для одного и того же Х - значения ( см. упр. [8]
Наши определения были введены в обратном по сравнению с обычным способом порядке. Обычно сначала определяется некоторое свойство, и после этого строится алгоритм для его проверки. Убедиться в том, что Q ( d), вообще говоря, не может быть вычислено, если Q не перечислимо, оставляется читателю в качестве упр. Для упрощения рассуждений мы считаем, что из любой С-зависимости X: У следует соответствующая F-зависимость Х - - У. Поэтому для любого отношения г, удовлетворяющего зависимости X: Y, можно предположить существование функции / л - у, выдающей некоторое У-значение по любому Х - значению или специальный символ и ( от слова kill - убить), который указывает, что г не содержит строки с данным Х - значением. Доказательство может быть обобщено на случай, когда допускается несколько У-значений для одного и того же Х - значения ( см. упр. [9]
Наши определения были введены в обратном по сравнению с обычным способом порядке. Обычно сначала определяется некоторое свойство, и после этого строится алгоритм для его проверки. Убедиться в том, что Q ( d), вообще говоря, не может быть вычислено, если Q не перечислимо, оставляется читателю в качестве упр. Для упрощения рассуждений мы считаем, что из любой С-зависимости X: У следует соответствующая F-зависимость Х - - У. Поэтому для любого отношения г, удовлетворяющего зависимости X: Y, можно предположить существование функции / л - у, выдающей некоторое У-значение по любому Х - значению или специальный символ и ( от слова kill - убить), который указывает, что г не содержит строки с данным Х - значением. Доказательство может быть обобщено на случай, когда допускается несколько У-значений для одного и того же Х - значения ( см. упр. [10]