Technical Report Number
Abstract Database System (ADS) is a data model developed for an enduring medical information system where frequent changes in the conceptual schema are anticipated and multi-level abstraction is required. The mechanism of abstraction in ADS is based on the abstraction operator of the lamba calculus. The formal semantics of a subset of the ADS model is presented using the denotational specification method.
Kimura, Takayuki, "ADS Formal Semantics" Report Number: WUCS-83-5 (1983). All Computer Science and Engineering Research.