В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?
(Отметьте один правильный вариант ответа.)
Варианты ответа
существует интерпретация переменных данного атома, которая по всем леременным уже рассмотренных атомов совпадает по всем общим переменным(Верный ответ)
существует какая-либо интерпретация переменных рассматриваемого атома запроса
всегда годится
для каждой переменной рассматриваемого атома существует интерпретация всех переменных этого атома, которая по значению данной переменной совпадает со значением этой переменной в интерпретации переменных уже рассмотренных атомов