Can object-oriented databases be statically typed?
Val Breazu-Tannen, Peter Buneman, Atsushi Ohori · Database Programming Languages · 1989
Can there be a database programming language with a type system that matches the data model? Can such a language be strongly typed? Can it be statically typed? A static type system for database programming languages is, of course, the Holy Grail of the subject. However we, the authors, who have spent some effort in searching for this venerated object, now doubt its existence and have come to believe that, where objectoriented and semantic data models are concerned, we must either give up the Quest or substantially modify our view of a type system. Worse still, we are not in agreement about which course of action to take.