Вопросы по теме '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 просмотров
schedule
30.09.2022
Инвариант цикла линейного поиска
Как видно из раздела «Введение в алгоритмы» ( http://mitpress.mit.edu/algorithms ), в упражнении говорится следующее:
Входные данные: массив A[1..n] и значение v
Вывод: индекс i , где A[i] = v или NIL , если v не найдено в A...
20033 просмотров
schedule
14.10.2022
Может ли агрегатный инвариант включать правило, основанное на информации из других источников?
Может ли инвариант агрегатов в DDD включать правило, основанное на информации из другого агрегата? Теперь я так не думаю, однако это вызывает у меня проблему, и я не знаю, как ее решить.
У меня есть объект под названием Актив (оборудование),...
1305 просмотров
schedule
20.04.2024
Как инвариант класса может усилить предварительные и постусловия?
Ссылка
Вы можете рассматривать инвариант класса как критерий работоспособности, который должен выполняться всеми объектами между операциями. Таким образом, в качестве предварительного условия каждой открытой операции класса можно...
582 просмотров
schedule
06.01.2024
Почему универсальные типы не работают с наследованием в 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