Reasoning with Data in a Deductively Augmented Data Management System
A system for applying the theory of logical deduction and proof procedures to the accessing of data stored in conventional data management systems is described and illustrated with several examples. The DADM (Deductively Augmented Data Management) system has been developed along several dimensions of utility and performance to provide a vehicle for research on interactive techniques for reasoning with data, answering questions, and supporting on-line decision making. After illustrating present system operation by means of several examples, new performance-enhancing features of the system are described. These features include improved user interfaces, improved visibility of processes and data structures, structure sharing, improvements in inference-planning mechanisms, methods for dealing with incomplete information, utilization of semantic advice, and means for controlling recursive premises.
KeywordsData Management System Problem Graph Concept Graph Inference Plan Advice Rule
Unable to display preview. Download preview PDF.
- 1.Chang, C. L.  “Deduce 2: Further Investigation of Deduction in Relational Data Bases”, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, 1978, 201–236.Google Scholar
- 2.Chang, C. L.  “On Evaluation of Queries Containing Derived Relations in a Relational Data Base”, (this volume).Google Scholar
- 3.Elliott, R. W.  “A Model for a Fact Retrieval System”, TNN-42, Computation Center, University of Texas, Austin, 1965.Google Scholar
- 4.Grant, J. and Minker, J.  “Optimization in a Deductive Relational System”, (this volume).Google Scholar
- 5.Kellogg, C., P. Klahr, and L. Travis  “Deductive Planning and Pathfinding for Relational Data Bases”. In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, 1978, 179–200.Google Scholar
- 6.Klahr, P.  “Planning Techniques for Rule Selection in Deductive Question-Answering”, In Pattern-Directed Inference Systems (D. Waterman and F. Hayes-Roth, Eds.), Academic Press, 1978, 223–239.Google Scholar
- 7.Minker, J.  “An Experimental Relational Data Base System Based on Logic”, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, 1978, 107–147.Google Scholar
- 8.Reiter, R.  “Deductive Question-Answering in Relational Data Bases”, in Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, 1978, 149–177.Google Scholar