Accession Number:

ADA070801

Title:

Deductive Planning and Pathfinding for Relational Data Bases,

Descriptive Note:

Corporate Author:

SYSTEM DEVELOPMENT CORP SANTA MONICA CALIF

Report Date:

1978-01-01

Pagination or Media Count:

22.0

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

Subject Categories:

  • Information Science

Distribution Statement:

APPROVED FOR PUBLIC RELEASE