In connection with Rand's Relational Data File (RDF), a class of proper formulas has been proposed comprising those formalizations of questions to be processed by the RDF that are especially suitable for machine processing (discussed in R-511 and RM-5428).
