Труды КНЦ вып.29 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 3/2015(29))

дополнительных ограничениях, задаваемых в виде С-системы B\XYZW\. которая может быть преобразована в обычное отношение по формуле: B[XYZW\ = {b} х {а, Ь} х {а, Ь} х {а, Ь, с}. Фактически, B\XYZW\ задает подпространство (брус), где следует искать решение, в пространстве с осям иХ -{а , Ь, с}, Y - { a , b}, Z - { a , b, с}, W -{a , b, с}. Начнем вывод с “настройки” D -системы A \XYZW\ на новые домены, которые содержатся в компонентах B\XYZW\. то есть положим X - {Ь}, Y - {а, Ь}, Z - {а, b,}, W - {а, Ь, с}: Частичное решение: на начальном этапе не содержит ни одного элемента. Остаток D-системы: X Y Z W { Ъ } { а , Щ { а , Ь } { а , Ь , с } 1 Л { а , Ъ ) { а } 0 {с} 2 0 0 { а , с ) {с} 3 \ { а , с ) 0 0 {, Ъ } По У5 удаляем значение “а ” из компонент первой и третьей строки. После чего удаляем строку № 1 по У4. Тогда по У2 можно исключить из D -системы атрибуты X и Y, добавив их домены в частичное решение. Рассматривая атрибут Z, можно, руководствуясь У5, удалить значение “с” из компоненты строки № 2. Получим: Частичное решение: X - {Ь}, Y - {а, Ь}. Остаток D-системы: Z W { а , Ь } { а , Ъ , с } {с}\ {а} 0 {Ъ} Строка №3 содержит лишь одну непустую компоненту, а значит домен атрибута W (целевое данное) может быть сужен до {Ь}. Следовательно, из компонент атрибута ^вычеркиваем значения, не принадлежащие {Ь}\ Частичное решение : X - {Ь}, Y - {a, b }, W - { b }. Остаток D-системы : Z { а , Ъ } {а} 0 W {Ъ} 0Г Откуда несложно заключить, что для Z домен сузится до {а}. Окончательное решение: X - {Ь}, Y - {a, b }, Z - {a}, W - { b }. Таким образом, в результате применения подстановки, моделируемой кортежем B\XYZW\ = [{6} * {a ,b } *], получаем, что значение целевого дан­ ного (атрибут W) - “6” (снабжение электроэнергией утрачено частично). 83