Descriptor
| Flow Charts | 2 |
| Artificial Intelligence | 1 |
| Databases | 1 |
| Design | 1 |
| Information Retrieval | 1 |
| Interaction | 1 |
| Models | 1 |
| Online Systems | 1 |
| Programing | 1 |
| Search Strategies | 1 |
| Specifications | 1 |
| More ▼ | |
Source
| Information Processing and… | 2 |
Author
| Shoval, Peretz | 1 |
| Stemple, D. W. | 1 |
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 1 |
| Reports - Research | 1 |
Education Level
Audience
| Researchers | 2 |
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 reviewedShoval, Peretz – Information Processing and Management, 1985
Describes an expert system which provides users who have information needs with terms to express search queries; introduces principles on which the system's behavior is based; describes the system's main procedures and decision rules; presents an example of system use; and outlines possible improvements in system search and evaluation procedures.…
Descriptors: Artificial Intelligence, Design, Flow Charts, Information Retrieval
