A Study of Semantics , Types and Languages for Databases and Object-Oriented Programming

@inproceedings{Ohori1989ASO,
  title={A Study of Semantics , Types and Languages for Databases and Object-Oriented Programming},
  author={Atsushi Ohori},
  year={1989}
}
The purpose of this thesis is to investigate a type system for databases and object-oriented programming and to design a statically typed programming language for these applications. Such a language should ideally have a static type system that supports: polymorphism and static type inference, rich data structures and operations to represent various data models for databases including the relational model and more recent complex object models, central features of object-oriented programming… CONTINUE READING