Interrogating a Relational Data File

Remarks on the Admissibility of Input Queries

by J. L. Kuhns

Download

Download eBook for Free

FormatFile SizeNotes
PDF file 1.8 MB

Use Adobe Acrobat Reader version 10 or higher for the best experience.

Purchase

Purchase Print Copy

 FormatList Price Price
Add to Cart Paperback59 pages $20.00 $16.00 20% Web Discount

This report continues the work, begun in RM-5428, of developing and implementing a theory of data retrieval for a computerized question-answering system in which the queries are represented as formulas of the predicate calculus and the database consists of atomic sentences. Algorithms for processing queries involving a full vocabulary of binary operators are given. It is shown that definite formulas having at most two levels of operators from certain minimal operator sets can always be transformed into proper formulas (i.e., formulas consisting entirely of definite subformulas) and algorithms for these "admissibility" transformations are given. In addition to the conventional operators, a new form of universal quantification is proposed for query systems. Rules for evaluation are given, and it is shown that the class of definite formulas is closed under this new "generalized universal quantification." Finally, theoretical limitations on methods of determining propriety through admissibility transformations are discussed.

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

Permission is given to duplicate this electronic document for personal use only, as long as it is unaltered and complete. Copies may not be duplicated for commercial purposes. Unauthorized posting of RAND PDFs to a non-RAND Web site is prohibited. RAND PDFs are protected under copyright law. For information on reprint and linking permissions, please visit the RAND Permissions page.

The RAND Corporation 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.