Napier88 - A Database Programming Language?

@inproceedings{Dearle1989Napier88A,
  title={Napier88 - A Database Programming Language?},
  author={Alan Dearle and Richard C. H. Connor and Alfred L. Brown and Ronald Morrison},
  booktitle={DBPL},
  year={1989}
}
This is a description of the Napier88 type system based on "A Framework for Comparing Type Systems for Database Programming Languages" by Albano et al.