A DBMS that simulates an aquarium theme park