Descriptor
| Flow Charts | 2 |
| Programing | 2 |
| Algorithms | 1 |
| Databases | 1 |
| Information Retrieval | 1 |
| Minicomputers | 1 |
| Models | 1 |
| Online Systems | 1 |
| Search Strategies | 1 |
| Specifications | 1 |
| Systems Development | 1 |
| More ▼ | |
Source
| Information Processing and… | 2 |
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
Audience
| Researchers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedStemple, 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
Peer reviewedBell, C. L. M.; Jones, K. P. – Information Processing and Management, 1980
Explains, with supporting figures and flowcharts of programing logic, two search strategies introduced to the MORPHS System since 1976: one that employs the normal Boolean operators in strings without bracketing or in the form of marked steps, and one that treats a string of keywords as a compound word. (Author/JD)
Descriptors: Algorithms, Flow Charts, Information Retrieval, Minicomputers
