110 Ограничение (restriction) (рис. 33). Эта операция для заданного измерения удаляет значения, для которых не удовлетворяется сформулированное условие. Операнды-, гиперкуб С, предикат Р, определенный на Д. Результат-, гиперкуб Cans, полученный путем удаления из измерения Д тех значений, которые не удовлетворяют предикату Р. Т.о., с помощью предиката, применяемого ко всему домену domh происходит ограничение множества возможных значений до некоторого подмножества. Определение: restrict (С. D,, Р) = Cans, где dom.j(Cans) = domj(C), если l dk)=E(C)(d1,...,dli). Рис. 33. Операция ограничения Соединение (join) (рис. 34). Операция используется для соединения двух гиперкубов. Результатом соединения m-размерного гиперкуба С с и-размерным гиперкубом С1 по к измерениям, называемым измерениями соединения, является гиперкуб размерности т+п-к. Каждое измерение соединения Д гиперкуба С соединяется с одним измерением соединения Д гиперкуба С1. Значения получившегося результирующего измерения будут представлять объединение значений измерений Д и Д. Перед объединением двух измерений |
52 1. Измерение, которое имеет более одного возможного значения, не может быть удалено сразу, поскольку в этом случае нарушится функциональная зависимость элементов гиперкуба от совокупности их координат по измерениям. В этой ситуации к удаляемому измерению сначала применяется операция merge, описанная ниже, и только потом операция destroy dimension. Операнды: гиперкуб С, имя удаляемого измерения Д. Результат: гиперкуб Cans, в котором отсутствует измерение D. Ограничение: удаляемое измерение должно иметь единственное значение Определение: destroy(С, Д) Сansi где Сans гиперкуб, имеющий к-1размерность. Операция ограничения L Дата 06.0729.06— <з> <2> 22.06<7> 15.06<7> <2> <2> <3> станок in {2,5} <з> <3> <3> <5> Станок 1 2 3 4 5 А 06.07 29.06 22.06 15.06 Дата <2> <3> Станок 2 5 Рис. 10 Ограничение (restriction) (рис. 10). Эта операция для заданного измерения удаляет значения, для которых не удовлетворяется сформулированное условие. Операнды:гиперкуб С, предикат Р, определенный на Д. Результат: гиперкуб Cans> полученный путем удаления из измерения Д тех значений, которые не удовлетворяют предикату Р. Т.о., с помощью предиката, применяемого ко всему домену domh происходит ограничение множества возможных значений до некоторого подмножества. Определение: restrict(С, Д, Р) = Cans, где domj(CanJ = dom/C), если 1 Иначе, возвращает 0. D1 к D2 d с b а <б> 0 1 D1 Рис. 11 Соединение (join) (рис. И). Операция используется для соединения двух гиперкубов. Результатом соединения m-размерного гиперкуба С с празмерным гиперкубом С1 по к измерениям, называемым измерениями соединения, является гиперкуб размерности т+п-к. Каждое измерение соединения Д гиперкуба С соединяется с одним измерением соединения Д гиперкуба С/. Значения получившегося результирующего измерения будут представлять объединение значений измерений Д и Д . Перед объединением |