Logic for Data Description

Logic is useful both for describing static data bases as well as for processing data bases which change. Both the static and dynamic management of data bases depends upon the form of definitions: whether data is defined by means of complete if-and-only-if definitions or only by means of the if-halves, whether the only-if half of an if-and-only-if definition is stated explicitly or is assumed implicitly, and whether the only-if assumption is understood as a statement of the object language (in the data base) or as a statement of the meta-language (about the data base). Similar considerations apply to the processing of computer programs. When logic is used to describe information, the conventional distinction between data bases and programs no longer applies.

[1]  Keith L. Clark,et al.  A First Order Theory of Data and Programs , 1977, IFIP Congress.

[2]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[3]  Jack Minker.  Performing inferences over relation data bases , 1975, SIGMOD '75.

[4]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

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

[6]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

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

[8]  Jean-Marie Nicolas,et al.  Data Base: Theory vs. Interpretation , 1977, Logic and Data Bases.

[9]  Alain Pirotte,et al.  High Level Data Base Query Languages , 1977, Logic and Data Bases.

[10]  Ch Chen,et al.  Pattern recognition and artificial intelligence , 1976 .

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

[12]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

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

[14]  Moshé M. Zloof.  Query by example , 1975, AFIPS '75.

[15]  S. Peter de Jong,et al.  The System for Business Automation (SBA): Programming language , 1976, Commun. ACM.

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

[17]  Jack Minker,et al.  An Overview and Introduction to Logic and Data Bases , 1977, Logic and Data Bases.

[18]  M. H. van Emden,et al.  Computation and Deductive Information Retrieval , 1977, Formal Description of Programming Concepts.