Corpus ID: 42872085

The ADABTPL Type System

  title={The ADABTPL Type System},
  author={Leonidas Fegaras and Tim Sheard and David W. Stemple},
  • Leonidas Fegaras, Tim Sheard, David W. Stemple
  • Published in DBPL 1989
  • Computer Science
  • 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. 

    Topics from this paper.


    Publications citing this paper.