The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
| Hi-index | 0.00 |
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.