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

Robert Di Paola

ResearchPublished 1971

In connection with Rand's Relational Data File (RDF), 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 (see R-511 and RM-5428). 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.

Order a Print Copy

Format
Paperback
Page count
26 pages
List Price
$20.00
Buy link
Add to Cart

Document Details

  • Copyright: RAND Corporation
  • Availability: Available
  • Year: 1971
  • Print Format: Paperback
  • Paperback Pages: 26
  • Paperback Price: $20.00
  • Document Number: R-661-PR

Citation

RAND Style Manual
Di Paola, Robert, The Relational Data File and the Decision Problem for Classes of Proper Formulas, RAND Corporation, R-661-PR, 1971. As of September 10, 2024: https://www.rand.org/pubs/reports/R0661.html
Chicago Manual of Style
Di Paola, Robert, The Relational Data File and the Decision Problem for Classes of Proper Formulas. Santa Monica, CA: RAND Corporation, 1971. https://www.rand.org/pubs/reports/R0661.html. Also available in print form.
BibTeX RIS

This publication is part of the RAND report series. The report series, a product of RAND from 1948 to 1993, represented the principal publication documenting and transmitting RAND's major research findings and final research.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit www.rand.org/pubs/permissions.

RAND is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.