A Deductive Capability for Data Management.

Charles Kellogg, Philip Klahr, Larry Travis: A Deductive Capability for Data Management. VLDB 1976: 181-196

@inproceedings{DBLP:conf/vldb/KelloggKT76,
  author    = {Charles Kellogg and
               Philip Klahr and
               Larry Travis},
  editor    = {Peter C. Lockemann and
               Erich J. Neuhold},
  title     = {A Deductive Capability for Data Management},
  booktitle = {Systems for Large Data Bases, September 8-10, 1976, Brussels,
               Belgium},
  publisher = {North Holland {\&} IFIP},
  year      = {1976},
  isbn      = {0-7204-0546-7},
  pages     = {181-196},
  ee        = {db/conf/vldb/KelloggKT76.html},
  crossref  = {DBLP:conf/vldb/76},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper examines some of the problems and issues involved in designing a practical deductive inference processor to augment a data management system, as well as some of the benefits that can be expected from such an augmentation. A deductive processor design is presented that incorporates new techniques for selecting, from large collections of mostly irrelevant general assertions and specific facts, the small number needed for deriving an answer to a particular query.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Peter C. Lockemann, Erich J. Neuhold (Eds.): Systems for Large Data Bases, September 8-10, 1976, Brussels, Belgium. North Holland & IFIP 1976, ISBN 0-7204-0546-7
Contents

References

[Bledsoe and Bruell 1974]: W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. Artif. Intell. 5(1): 51-72(1974)
[Chang and Lee 1973]: ...
[Codd 1970]: E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)
[Date 1975]: ...
[Elliott 1965]: ...
[Fahlman 1975]: ...
[Green 1969]: ...
[Hewitt 1971]: ...
[Kellogg 1968]: ...
[Kellogg et al. 1971]: ...
[Klahr 1975]: ...
[Kowalski 1975]: Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975)
[McDermott 1975]: ...
[Minker et al. 1973]: Jack Minker, Daniel H. Fishman, James R. McSkimin: The Q^* Algorithm - A Search Strategy for a Deductive Question-Answering System. Artif. Intell. 4(3): 225-243(1973)
[Nevins 1974]: Arthur J. Nevins: A Human Oriented Logic for Automatic Theorem-Proving. J. ACM 21(4): 606-621(1974)
[Raphael 1964]: ...
[Robinson 1965]: John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965)
[Schwarcz 1970]: ...
[Shostak 1976]: Robert E. Shostak: Refutation Graphs. Artif. Intell. 7(1): 51-64(1976)
[Travis et al. 1973]: ...
[Yates and Hart 1970]: Robert A. Yates, Bertram Raphael, Timothy P. Hart: Resolution Graphs. Artif. Intell. 1(4): 257-289(1970)