Data models and data-manipulation languages: complementary semantics and proof theory

Conference · Sun Mar 01 00:00:00 EST 1981

OSTI ID:6521170

Wong, H K.T.

We present briefly a language which integrates the description of a data model, data manipulation language and integrity constraints into one coherent framework, resembling that proposed by several recent papers in the field of semantic data models. We then give two formal specifications of the semantics of the model and DML: one, based on states and state transactions, intended for database implementors and programmers, and one, based on axioms and partial correctness assertions intended for verifiers who wish to show that the system maintains integrity constraints. Most significantly, we sketch the proof that the deductive theory is sound and complete and hence matches the state transition semantics.

• Research Organization: Lawrence Berkeley Lab., CA (USA)
• DOE Contract Number: AC03-76SF00098
• OSTI ID: 6521170
• Report Number(s): LBL-12378; CONF-810993-4; ON: DE83005871
• Resource Relation: Conference: 7. conference on very large databases, Cannes, France, 9 Sep 1981
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
DATA PROCESSING
MATHEMATICAL MODELS
DATA BASE MANAGEMENT
MAPPING
PROGRAMMING LANGUAGES
MANAGEMENT
PROCESSING
990200* - Mathematics & Computers