Specification and Interpretation of Data Model Semantics: An Integration of Two Approaches

摘要

Two different approaches to database model description and evaluation are presented, compared, and integrated: a formal semantic specification method as originally developed for programming languages, and a computer-based data model processor to be used as a rapid prototyping system. Both ways to specify database model semantics are applied to a common example. Two alternatives to combine the advantages of both methods are analyzed in detail.