Title

ADS Formal Semantics

Authors

Takayuki Kimura, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1983-12-01

Filename

WUCS-83-5.pdf

DOI:

10.7936/K7WD3XZ9

Technical Report Number

WUCS-83-5

Abstract

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7WD3XZ9

Recommended Citation

Kimura, Takayuki, "ADS Formal Semantics" Report Number: WUCS-83-5 (1983). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/858