Deductive Planning and Pathfinding for Relational Data Bases,
Abstract
Inference planning techniques have been implemented and incorporated within a prototype deductive processor designed to support the extraction of information implied by, but not explicitly included in, the contents of a relationally structured data base. Deductive pathfinding and inference planning are used to select small sets of relevant premises and to construct skeletal derivations. When these skeletons are verified, the system uses them as plans to create data-base access strategies that guide the retrieval of data values, to assemble answers to user requests, and to produce proofs supporting those answers. Several examples are presented to illustrate the current capability of the prototype Deductively Augmented Data Management (DADM) system. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1978
- Accession Number
- ADA070801
Entities
People
- Charles Kellogg
- Larry Travis
- Philip Klahr
Organizations
- System Development Corporation