deputy
with a parameter which allows us to test, for all managers, whether the manager currently under consideration is a deputy:
SELECT a1, a2 FROM a1 IN employee, a2 IN employee WHERE a1.deputy(a2); |
deputy
actually has two parameters.
age
is public and determines the age of a person on the basis of the (private) attribute dateofbirth
:
SELECT * FROM person WHERE age > 50; |
SELECT name FROM person WHERE age > 50; |
person
denotes both a class and its extension.