ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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.

Copyright © 1976 by International Federation for Information Processing (IFIP).


ACM SIGMOD Anthology

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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Bledsoe and Bruell 1974]
W. W. Bledsoe, Peter Bruell: A Man-Machine Theorem-Proving System. Artif. Intell. 5(1): 51-72(1974) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Nevins 1974]
Arthur J. Nevins: A Human Oriented Logic for Automatic Theorem-Proving. J. ACM 21(4): 606-621(1974) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Raphael 1964]
...
[Robinson 1965]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Schwarcz 1970]
...
[Shostak 1976]
Robert E. Shostak: Refutation Graphs. Artif. Intell. 7(1): 51-64(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:54 2010 by Michael Ley (ley@uni-trier.de)