-
61 непротиворечивость данных
consistency of data мат.Русско-английский научно-технический словарь Масловского > непротиворечивость данных
-
62 непротиворечивость индукций
Русско-английский научно-технический словарь Масловского > непротиворечивость индукций
-
63 непротиворечивость данных
Русско-Английский новый экономический словарь > непротиворечивость данных
-
64 атомарность, непротиворечивость, изолированность, долговечность
атомарность, непротиворечивость, изолированность, долговечность
Свойства, присущие транзакции.
атомарность
Свойство атомарности (atomicity) обозначает, что входящие в транзакцию операции выступают вместе как неделимая единица работы, т.е. либо все операции успешно завершаются, либо отменяются. Это делает возможным гарантировать непротиворечивость.
непротиворечивость
Непротиворечивость (consistency) системы: с точки зрения стороннего наблюдателя, система находится в непротиворечивом состоянии и до начала, и после завершения транзакции.
изолированность
Свойство изолированность (isolation) распространяет непротиворечивость и на период течения транзакции, т.е. в ходе выполнения одна транзакция "не видит" изменений, сделанных другими незавершенными транзакциями.
долговечность
Долговечность (durability) обозначает сохранность изменений, совершенных транзакцией, независимо от сбоев на нижних уровнях, как то внезапная перезагрузка, поломка оборудования.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > атомарность, непротиворечивость, изолированность, долговечность
-
65 ω - непротиворечивость
Русско-украинский политехнический словарь > ω - непротиворечивость
-
66 ω - непротиворечивость
Русско-украинский политехнический словарь > ω - непротиворечивость
-
67 проверка на непротиворечивость
Русско-английский большой базовый словарь > проверка на непротиворечивость
-
68 программа проверки на непротиворечивость
Русско-английский большой базовый словарь > программа проверки на непротиворечивость
-
69 проверка на непротиворечивость
Русско-английский словарь по информационным технологиям > проверка на непротиворечивость
-
70 проверка на непротиворечивость (согласованность)
Русско-английский словарь нормативно-технической терминологии > проверка на непротиворечивость (согласованность)
-
71 абсолютная непротиворечивость
Большой англо-русский и русско-английский словарь > абсолютная непротиворечивость
-
72 внутренняя непротиворечивость
Большой англо-русский и русско-английский словарь > внутренняя непротиворечивость
-
73 дедуктивная непротиворечивость
Большой англо-русский и русско-английский словарь > дедуктивная непротиворечивость
-
74 доказуемая непротиворечивость
Большой англо-русский и русско-английский словарь > доказуемая непротиворечивость
-
75 логическая непротиворечивость
Большой англо-русский и русско-английский словарь > логическая непротиворечивость
-
76 модельная непротиворечивость
Большой англо-русский и русско-английский словарь > модельная непротиворечивость
-
77 ограниченная непротиворечивость
Большой англо-русский и русско-английский словарь > ограниченная непротиворечивость
-
78 омега-непротиворечивость
Большой англо-русский и русско-английский словарь > омега-непротиворечивость
-
79 относительная непротиворечивость
Большой англо-русский и русско-английский словарь > относительная непротиворечивость
-
80 полная непротиворечивость
Большой англо-русский и русско-английский словарь > полная непротиворечивость
См. также в других словарях:
непротиворечивость — непротиворечивость … Орфографический словарь-справочник
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — совместимость, отсутствие противоречия логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… … Большой Энциклопедический словарь
непротиворечивость — согласованность, совместимость, соответствие; логичность. Ant. противоречивость Словарь русских синонимов. непротиворечивость сущ., кол во синонимов: 1 • логичность (12) … Словарь синонимов
НЕПРОТИВОРЕЧИВОСТЬ — англ. non contradiction; нем. Widerspruchsfrei. Критерий правильного логического мышления, означающий, что в суж дении, доказательстве, теории нет противоположных или противоречивых утверждений об одном и том же предмете, взятом в одно и то же… … Энциклопедия социологии
непротиворечивость — НЕПРОТИВОРЕЧИВОСТЬ свойство совокупности утверждений, состоящее в отсутствии среди выводимых из этой совокупности противоречащих друг другу утверждений или противоречащего подразумеваемому истолкованию утверждений. В логических… … Энциклопедия эпистемологии и философии науки
непротиворечивость — Отсутствие в базах данных, либо частях одной и той же базы сведений, которые бы противоречили друг другу. [Гипертекстовый энциклопедический словарь по информатике Э. Якубайтиса] [http://www.morepc.ru/dict/] Тематики информационные технологии в… … Справочник технического переводчика
непротиворечивость — совместимость, отсутствие противоречия логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является… … Энциклопедический словарь
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что … Словарь терминов логики
непротиворечивость — ▲ согласованность ↑ логический непротиворечивость логическая согласованность; отсутствие противоречий; непротиворечие; условие существования. непротиворечивый (# теория). последовательность. последовательный (# вывод). логичный (# упрек).… … Идеографический словарь русского языка