Как выразить запросы в 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

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