NotesFAQContact Us
Collection
Advanced
Search Tips
Descriptor
Databases2
Flow Charts2
Design1
Development1
Environmental Influences1
Management Information Systems1
Models1
Problems1
Programing1
Specifications1
Systems Development1
More ▼
Source
Information Processing and…2
Author
Stemple, D. W.1
Town, William G.1
Publication Type
Journal Articles2
Reports - Descriptive1
Reports - Research1
Education Level
Audience
Researchers1
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing all 2 results Save | Export
Incorporating Theory into Database System Development.
Peer reviewed Peer reviewed
Stemple, D. W.; And Others – Information Processing and Management, 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
Recent Experience of the Application of a Commercial Data Base Management System (ADABAS) to a Scientific Data Bank (ECDIN).
Peer reviewed Peer reviewed
And Others; Town, William G. – Information Processing and Management, 1980
Discusses the problems encountered and solutions adopted in application of the ADABAS database management system to the ECDIN (Environmental Chemicals Data and Information Network) data bank. SIMAS, the pilot system, and ADABAS are compared, and ECDIN ADABAS design features are described. Appendices provide additional facts about ADABAS and SIMAS.…
Descriptors: Databases, Design, Development, Environmental Influences