An Experimental Relational Data Base System Based on Logic

An experimental relational data base system whose design is based upon logic is described. Logic was chosen as the design principle since it is a useful way in which to represent knowledge, and it forms a mathematical basis both for reasoning with data and for maintaining the integrity of a data base. The latter is a needed capability of data base systems as one wants to derive new facts from facts listed explicitly in the data base.

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  Jean-Marie Nicolas,et al.  Natural Language Question Answering and Automatic Deduction in the System Syntex , 1974, IFIP Congress.

[3]  Stuart C. Shapiro,et al.  A Net Structure for Semantic Information Storage, Deduction and Retrieval , 1971, IJCAI.

[4]  Rudolf Carnap,et al.  Introduction to Symbolic Logic and Its Applications , 1958 .

[5]  Michael Adamowicz,et al.  Data base systems , 1976 .

[6]  Raymond Reiter.  Two Results on Ordering for Resolution with Merging and Linear Format , 1971, JACM.

[7]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[8]  R. Kowalski,et al.  Linear Resolution with Selection Function , 1971 .

[9]  Donald W. Loveland,et al.  A Simplified Format for the Model Elimination Theorem-Proving Procedure , 1969, J. ACM.

[10]  Norman I. Badler,et al.  l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications , 1973, IJCAI.

[11]  Victor R. Basili,et al.  SIMPL-T: A Structured Programming Language. , 1974 .

[12]  P. Thompson,et al.  Natural language and voice output for relational data base systems , 1978, ACM '78.

[13]  Lenhart K. Schubert.  Extending The Expressive Power Of Semantic Networks , 1976, IJCAI.

[14]  Robert A. Kowalski,et al.  Logic and semantic networks , 1979, CACM.

[15]  Chin-Liang Chang.  DEDUCE 2: Further Investigations of Deduction in Relational Data Bases , 1977, Logic and Data Bases.

[16]  Charles Kellogg,et al.  Deductive Planning and Pathfinding for Relational Data Bases , 1977, Logic and Data Bases.

[17]  David C. Luckham,et al.  Extracting Information from Resolution Proof Trees , 1971, Artif. Intell..

[18]  Stuart C. Shapiro.  Representing and locating deduction rules in a semantic network , 1977, SGAR.

[19]  Jack Minker,et al.  The Q* Algorithm - A Search Strategy for a Deductive Question-Answering System , 1973, IJCAI.

[20]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

[21]  Jack Minker,et al.  The Use of a Semantic Network in a Deductive Question-Answering System , 1977, IJCAI.

[22]  Bertram Raphael,et al.  The use of theorem-proving techniques in question-answering systems , 1968, ACM National Conference.

[23]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[24]  James Robb Mcskimin.  The use of semantic information in deductive question-answering systems. , 1976 .

[25]  D. H. Fishman.  Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search. , 1973 .

[26]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[27]  Jack Minker,et al.  Search strategy and selection function for an inferential relational system , 1978, TODS.