Как выразить запросы в Tuple Relational Calculus?

Question

Проблема:

Consider a relation of scheme Building(Street, Number, No.Apartments, Color, Age). 
TRC: find the oldest building in Downing Street. 

Соответствующий оператор SQL будет выглядеть следующим образом:

SELECT MAX(Age) AS ‘Oldest building’, Street FROM Building WHERE Street = ‘Downing Street’;

Мой ответ с использованием TRC: (B обозначает отношение здания)

{V.*|V(B) | V.BAge >=Age ^ V.Bstreet = ‘Downing Street’}

V.* (он возвращает каждый отдельный кортеж из Building)

V(B) (он отображает переменные V в кортежи Building)

V.BAge >=Age ^ V.Bstreet = ‘Downing Street’ (здесь я устанавливаю условие… возможно ..)

Answer 1

Если это все еще актуально: намек бы понять, что самое старое здание такое, что ни одно другое здание не старше его.