[Член (365WT)]Ответы [Китайский ] | Время :2018-06-30 | В исчислении отношения кортежа выражение исчисления отношения кортежа (сокращенное как выражение кортежа) представлено выражением {t | Q (t)}, где t - переменная кортежа и представляет собой кортеж фиксированной длины. Q (t) - формула, состоящая из атомной формулы.
Формула
Три вида
Включите:
R∩S = {t│R (т) ∧S (т)}
Выражение,
(T│Q (т)}
Краткое название
Выражение Tuple
И:
R∪S = {t│R (т) ∨S (т)} |
|