Terms for subject Databases containing additional

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