The relational data file and the decision problem for classes of proper formulas /

Bibliographic Details

Main Author:	DiPaola, Robert A.
Corporate Authors:	Rand Corporation, Project Rand (United States. Air Force)
Format:	Book
Language:	English
Published:	Santa Monica, Ca : Rand, [1971]
Subjects:	Question-answering systems. Database management. Information storage and retrieval systems. Predicate calculus. Information theory.