Relational Data File
A Tool for Mechanized Inference Execution and Data Retrieval
A description of the background and status of a current project on automatic data storage and retrieval. The research emphasizes the development and testing of logical techniques for data retrieval and inference-making. The techniques are being implemented in the form of computer routines and tested on a large body of facts concerning the field of cybernetics. Various sections present the theoretical base of the proposed system, a summary of the theory of relations, typical data retrieval requests, the key problems of inference, techniques for practical realization of the data file, output problems, storage and processing problems, the data file as a whole, the question of literature searching, and future steps to be taken to extend the capability of the system.