TM

Twente-Milano

1991

An object-oriented database specification language. It has a strong type system that is statically checkable. TM has a formal foundation in a denotational semantics for an underlying language called FM (which is based on Cardelli's ideas). TM is meant for specifying conceptual database schemas and is therefore highly declarative in nature. TM also has a functional character, although functions are not first-class values. A conceptual schema specified in TM describes the structure, static constraints, updates, as well as predefined queries.

"Typed sets as a basis for object-oriented database schemas", H. Balsters, R.A. de By & R. Zicari in Proceedings of the Seventh European Conference on Object-Oriented Programming, July 26-30, 1993, Kaiserslautern, Germany, 1993.