The ADABTPL Type System

ADABTPL (Abstract DAtaBase Type Programming Language, pronounced abaptable) is a high level programming language based on finite sets and total functions. It has the purpose of bringing polymorphic, axiomatic types to bear on the problem of specifying database systems. It contains a type definition language for specifying the types of database objects and transaction inputs along with a transaction specification language. In this paper we present the features of the type system.