Accession Number:

AD0719752

Title:

The Relational Data File and the Decision Problem for Classes of Proper Formulas,

Descriptive Note:

Corporate Author:

RAND CORP SANTA MONICA CALIF

Personal Author(s):

Report Date:

1971-02-01

Pagination or Media Count:

28.0

Abstract:

In connection with Rands Relational Data File, the class of proper formulas has been proposed as comprising those formalizations of questions to be processed by the RDF that are especially suitable for machine processing. The subclasses of proper formulas depend on the identity of the logical primitives employed. Different sets of primitives give rise to different classes of proper formulas. In this report it is shown that the decision problem is solvable for 1 the class of proper prenex formulas on any set of primitives, 2 the class of proper formulas on negation, disjunction, and existential quantification, 3 the class of proper formulas on negation, implication, and existential quantification, and 4 the class of proper formulas on negation, disjunction, implication, and existential quantification. Thus, for each of these classes there is a mechanical decision procedure that determines if an arbitrary formula on the relevant set of primitives is a member of the class. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE