Data abstraction, views and updates in RIGEL