Incorporating Theory into Database System Development.

Stemple, D. W.; And Others

Notes FAQ Contact Us

Back to results

Peer reviewed

ERIC Number: EJ341663

Record Type: Journal

Publication Date: 1986

Pages: N/A

Abstractor: N/A

ISBN: N/A

ISSN: N/A

EISSN: N/A

Available Date: N/A

Incorporating Theory into Database System Development.

Stemple, D. W.; And Others

Information Processing and Management, v22 n4 p317-30 1986

Presents a database system development model in which theoretical support in the form of automated theorem proving is brought to bear on the problem of enforcing integrity, i.e., ensuring that the database system represents only those states and transitions that are possible in the world it models. (MBR)

Descriptors: Databases, Flow Charts, Models, Programing, Specifications, Systems Development

Publication Type: Journal Articles; Reports - Research

Education Level: N/A

Audience: Researchers

Language: English

Sponsor: N/A

Authoring Institution: N/A

Grant or Contract Numbers: N/A

Author Affiliations: N/A