Вопросы по теме 'invariants'

Как поддерживать рекурсивный инвариант в базе данных MySQL?
У меня есть дерево, закодированное в базе данных MySQL как ребра: CREATE TABLE items ( num INT, tot INT, PRIMARY KEY (num) ); CREATE TABLE tree ( orig INT, term INT FOREIGN KEY (orig,term) REFERENCES items (num,num)...
1128 просмотров

Инвариант цикла линейного поиска
Как видно из раздела «Введение в алгоритмы» ( http://mitpress.mit.edu/algorithms ), в упражнении говорится следующее: Входные данные: массив A[1..n] и значение v Вывод: индекс i , где A[i] = v или NIL , если v не найдено в A...
20033 просмотров
schedule 14.10.2022

Может ли агрегатный инвариант включать правило, основанное на информации из других источников?
Может ли инвариант агрегатов в DDD включать правило, основанное на информации из другого агрегата? Теперь я так не думаю, однако это вызывает у меня проблему, и я не знаю, как ее решить. У меня есть объект под названием Актив (оборудование),...
1305 просмотров

Как инвариант класса может усилить предварительные и постусловия?
Ссылка Вы можете рассматривать инвариант класса как критерий работоспособности, который должен выполняться всеми объектами между операциями. Таким образом, в качестве предварительного условия каждой открытой операции класса можно...
582 просмотров

Почему универсальные типы не работают с наследованием в Scala?
Итак, вот код: package week4 object expr { abstract class Expr[T] { def eval:T = this match { case Number(x) => x case Sum(e1, e2) => e1.eval + e2.eval } def show: String = this match { case Number(x)...
650 просмотров
schedule 22.01.2023

Неперехваченное инвариантное нарушение: между отправками обнаружена мутация состояния,
Я пытаюсь отобразить только сегмент массива запросов, который я сопоставил из состояния с реквизитами моего компонента контейнера (используя mapStateToProps). Для этого я использую оператор распространения Array.slice, а затем перебираю подмассив...
2417 просмотров
schedule 12.03.2022

Что означает сохранение ресурса как инвариантного класса в RAII?
Что означает, что сохранение ресурса является инвариантом класса в RAII? На странице Википедии RAII говорится: В RAII хранение ресурса является инвариантом класса и привязано к времени жизни объекта: выделение (получение) ресурсов...
144 просмотров
schedule 22.05.2024