Algebra / Functional Programming / Polymorphism / Optimization / Object Oriented Model / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database / Data Model / Type System / Signature / Side Effect / Database System / Object Oriented Database