Terms containing process of inferring additional true propositions from the given ones

Subject	English	Russian
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)
d.b..	process of inferring additional true propositions from the given ones	процесс логического вывода дополнительных истинных высказываний из существующих высказываний (ssn)