A strongly typed, interactive object-oriented database programming language