Cтраница 1
Процесс прогонки табло Т со множеством С GF-зависимостей состоит в применении G-правила для GF-зависимостей из С, пока в Т есть переменные, которые можно отождествлять. Этот процесс всегда останавливается, так как в Т1 не появляется новых строк или переменных. [1]
Процесс прогонки табло Т со множеством С GF-зависимостей состоит в применении G-правила для GF-зависимостей из С, пока в Т есть переменные, которые можно отождествлять. Этот процесс всегда останавливается, так как в Т не появляется новых строк или переменных. [2]
Таким образом, нам нужно некоторое управление процессом прогонки, чтобы гарантировать порождение всевозможных комбинаций исходных переменных. Можно было бы наложить ограничение, что Т - правило применяется только тогда, когда оно порождает новую комбинацию исходных переменных. [3]
Это, в свою очередь, требует большой емкости машинной памяти [ в процессе прогонки необходимо запоминать ( N-2) ( & 1) 2 величин ] и большого объема вычислений. [4]
К недостатку этого метода следует отнести его малую производительность: через слиток может перемещаться только одна зона, и процесс прогонки приходится повторять до 10: - 15 раз. [5]
Работа по программе ВПУ сводится в основном к обработке двумерного вещественного массива ( матрицы) A ( I, J), верхняя часть которой [ I 1 - H2 и элемент А ( 13 4) ] хранит исходные величины расчета, а остальные элементы заполняются результатами в процессе прогонки программы. [6]
Понятия табло и процесса прогонки с одними F-зависимостями введены в Aho, Beeri, Ullman [1979], где использовались для проверки выводимости J-зависимостей и множества F-зависимостей. [7]
Так как выбор новых переменных при применении пересмотренного правила произволен, то прогонка частичных Т - зависимостей не дает однозначного результата. В этом направлении можно было бы кое-что предпринять, но вопрос не столь серьезен, так как на самом деле нас интересуют комбинации исходных переменных, которые могут возникнуть в процессе прогонки. Более серьезно то обстоятельство, что одна последовательность применения правил может привести к бесконечной последовательности табло, в которой не возникают никакие новые комбинации исходных переменных 1), но такие комбинации могли бы быть получены при применении Т - правил в другом порядке. [8]
Так как выбор новых переменных при применении пересмотренного правила произволен, то прогонка частичных Т - зависимостей не дает однозначного результата. В этом направлении можно было бы кое-что предпринять, но вопрос не столь серьезен, так как на самом деле нас интересуют комбинации исходных переменных, которые могут возникнуть в процессе прогонки. Более серьезно то обстоятельство, что одна последовательность применения правил может привести к бесконечной последовательности табло, в которой не возникают никакие новые комбинации исходных переменных х), но такие комбинации могли бы быть получены при применении Т - правил в другом порядке. [9]
При некоторых ограничениях проблема выводимости для табличных зависимостей разрешима. Другой случай - это когда табличные зависимости не являются вложенными. В обоих случаях процесс прогонки всегда заканчивается. Во втором случае прогонка заканчивается даже тогда, когда добавлены обобщенные функциональные зависимости. [10]
Если выбрать для v ( Rt - / С) значения, не встречающиеся в г ( Rt), то никакие ключи в Rt ье будут нарушены. Затем v растягивается с помощью новых помеченных неопределенных значений и становится частичной строкой v над U. Теперь необходима осторожность: после изменений в t имеем t ( Rt) v ( Rt) к в v есть отличающиеся помеченные неопределенные значения на U - Ri. Удаляем v, чтобы обеспечить завершаемость процесса прогонки. [11]
Затем v растягивается с помощью новых помеченных неопределенных значений и становится частичной строкой v над U. Теперь необходима осторожность: после изменений в t имеем / ( Rt) и ( Rt) иву есть отличающиеся помеченные неопределенные значения на U - Rt. Согласно утверждению 2, можно удалить v из s, так как t ее заменяет. Удаляем t, чтобы обеспечить завершаемость процесса прогонки. [12]