Subject | Russian | English |
d.b.. | для обработки строк данных предоставляются операторы, которые напрямую поддерживают процесс логического вывода дополнительных истинных высказываний из существующих высказываний | Operators are provided for operating on rows in tables, and those operators directly support the process of inferring additional true propositions from the given ones (см. An Introduction to Database Systems Eighth Edition by C.J. Date 2004 ssn) |
IT | процесс логического вывода | inferencing |
progr. | процесс логического вывода | inferencing process (ssn) |
d.b.. | процесс логического вывода дополнительных истинных высказываний из существующих высказываний | process of inferring additional true propositions from the given ones (ssn) |
AI. | процесс прямого логического вывода | forward chaining process (от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) |
IT | управление процессом логического вывода | inference control |