Табличная зависимость
Cтраница 1
Табличные зависимости обобщают J-зависимости, а обобщенные функциональные зависимости ( как вы уже догадались) обобщают F-зависимости. Введение этих зависимостей решает первую из упомянутых проблем. Множества отношений, определяемых этими зависимостями, как мы увидим, замкнуты относительно проекций. Однако будет показано, что она неполна для конечных отношений. Ниже также показывается, что существует бесконечное множество неэквивалентных табличных зависимостей над схемами достаточно большого размера, поэтому, вообще говоря, невозможен конечный пересчет всех табличных зависимостей, которые вытекают из данного множества табличных зависимостей. [1]
Табличная зависимость - по существу утверждение о том, что отношение является инвариантным относительно некоторого табличного отображения. Специальная строка называется строкой-заключением, остальные строки - строками-допущениями. [2]
Табличные зависимости были введены в сообщении Sadri, Ullman [ 1980a ], хотя они рассматривали только типизированный случай. Там была дана полная аксиоматизация для Т - зависимостей и было показано, как обобщить на них прогонку. В работе Sadri, Ullman [ 1980b ] показано, как вести прогонку при добавлении F-зависимостей к Т - зависимостям. Обобщенные F-зависимости введены Садри ( Sadri [ 1980a, 1980b, 1980с ]), который построил правила вывода для Т - и обобщенных F-зависимостей, обобщил метод прогонки на них, показал замкнутость классов выполнимости относительно проекции и определил некоторую нормальную форму относительно Т - и обобщенных F-зависимостей. [3]
Табличные зависимости обобщают J-зависимости, а обобщенные функциональные зависимости ( как вы уже догадались) обобщают F-зависимости. Введение этих зависимостей решает первую из упомянутых проблем. Множества отношений, определяемых этими зависимостями, как мы увидим, замкнуты относительно проекций. Однако будет показано, что она неполна для конечных отношений. Ниже также показывается, что существует бесконечное множество неэквивалентных табличных зависимостей над схемами достаточно большого размера, поэтому, вообще говоря, невозможен конечный пересчет всех табличных зависимостей, которые вытекают из данного множества табличных зависимостей. [4]
Табличная зависимость - по существу утверждение о том, что отношение является инвариантным относительно некоторого табличного отображения. Специальная строка называется строкой-заключением, остальные строки - строками-допущениями. [5]
Табличные зависимости были введены в сообщении Sadri, Ullman [ 1980a ], хотя они рассматривали только типизированный случай. Там была дана полная аксиоматизация для Т - зависимостей и было показано, как обобщить на них прогонку. В работе Sadri, Ullman [ 1980b ] показано, как вести прогонку при добавлении F-зависимостей к Т - зависимостям. Обобщенные F-зависимости введены Садри ( Sadri [ 1980a, 1980b, 1980с ]), который построил правила вывода для Т - и обобщенных F-зависимостей, обобщил метод прогонки на них, показал замкнутость классов выполнимости относительно проекции и определил некоторую нормальную форму относительно Т - и обобщенных F-зависимостей. [6]
 |
Предельные нормы качества пара для барабанных котлов. [7] |
Существуют аналитические и табличные зависимости, связывающие солесодержание котловой воды в барабане с влажностью пара, выходящего из него. Поэтому программу СТУПИСП можно дополнить блоком, в котором качество пара над ступенью испарения определялось бы методом последовательного приближения - задается начальное солесодержание котловой воды, по нему определяется влажность пара, коэффициент уноса [ см. выражение (14.7) ] и новое, уточненное значение солесодержания котловой воды ступени. Если новое и предыдущее значения солесодержания котловой воды сильно отличаются, то расчет повторяется. [8]
При этом расчете используется табличная зависимость энтальпии азотоводородоаммиачной смеси от давления, температуры и содержания аммиака. Программа составлена в кодах ЭЦВМ М-220. Один вариант считается - 10 мин. [9]
Эта функция табулирована, но табличная зависимость не дает наглядности, необходимой для понимания взаимосвязи всех переменных. [10]
Алгоритм предполагает использование в расчетах табличных зависимостей. Речь идет о зависимости коэффициента сверхсжимаемости газа от средневзвешенного давления в пласте и табулированной функции р от параметра Фурье. Для расчетов предпочтительно эти зависимости с приемлемой степенью точности заменить конечными математическими выражениями. [11]
Коэффициенты b2h получены путем обработки табличных зависимостей упругость паров - температуры [108] методом наименьших квадратов. [12]
При некоторых ограничениях проблема выводимости для табличных зависимостей разрешима. [13]
По существу, расчетом может быть получена табличная зависимость. Для учета насыщения при моделировании используется аппроксимация этой зависимости кубическим сплайном. [14]
Метод прогонки с небольшими модификациями можно распространить на табличные зависимости, однако табло, получаемое в результате прогонки над табличными зависимостями, может оказаться бесконечным. Хотя у нас и есть гарантия того, что выигрывающая строка будет порождена после конечного числа шагов ( если импликация имеет место), однако прогонка не может служить основой для алгоритма проверки выводимости табличных зависимостей. Можно себе представить разрешающую процедуру, при которой одновременно проводится прогонка в попытке доказать импликацию и ищутся контрпримеры к импликации. Однако этот план также может провалиться, если окажется, что конечного контрпримера не существует, хотя есть бесконечный. [15]
Страницы: 1 2 3 4