Reasoning with Data in a Deductively Augmented Data Management System

This publication has 9 references indexed in Scilit:

• PLANNING TECHNIQUES FOR RULE SELECTION IN DEDUCTIVE QUESTION-ANSWERING
  Published by Elsevier ,1978
• DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
  Published by Springer Nature ,1978
• Deductive Planning and Pathfinding for Relational Data Bases
  Published by Springer Nature ,1978
• Deductive Question-Answering on Relational Data Bases
  Published by Springer Nature ,1978
• An Experimental Relational Data Base System Based on Logic
  Published by Springer Nature ,1978
• The design and implementation of INGRES
  ACM Transactions on Database Systems, 1976
• A Search Technique for Clause Interconnectivity Graphs
  IEEE Transactions on Computers, 1976
• Fuzzy sets
  Information and Control, 1965
• A Theorem on Boolean Matrices
  Journal of the ACM, 1962