A relational framework for assertion management

Abstract An important purpose of research on decision support systems is to develop a theory of information management that is as independent as possible of the way in which the information is stored and processed. On framework that has proven useful in this regard is a relational framework, which has been successfully applied to the organization and processing of data files and decision models. In this paper we examine the application of relational theory to the management of assertions — that is, to the organization and processing of statements that may be true or false.

[1]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[2]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[3]  Robert W. Blanning,et al.  Conversing with management information systems in a natural language , 1984, CACM.

[4]  T H Merrett,et al.  Relational Information Systems , 1983 .

[5]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[6]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[7]  Moshé M. Zloof.  Query by example , 1899 .

[8]  Robert W. Blanning,et al.  The functions of a decision support system , 1979, Inf. Manag..

[9]  Mark S. Fox,et al.  The Intelligent Management System: An Overview , 1983 .

[10]  Andrew B. Whinston,et al.  Foundations of Decision Support Systems , 1981 .

[11]  Steven L. Alter,et al.  Decision support systems : current practice and continuing challenges , 1980 .

[12]  Robert W. Blanning,et al.  Issues in the design of relational model management systems , 1899, AFIPS '83.

[13]  Benn R. Konsynski.  Model Management in Decision Support Systems , 1981, NATO ASI DBM.

[14]  Angelo Margaris.  First Order Mathematical Logic , 1967 .

[15]  Ralph H. Sprague,et al.  Building Effective Decision Support Systems , 1982 .

[16]  K. L. Clark,et al.  Logic Programming , 1982 .

[17]  Andrew B. Whinston,et al.  Data Base Management: Theory and Applications , 1982 .

[18]  Robert W. Blanning.  Model-based and data-based planning systems , 1981 .

[19]  Harry Tennant,et al.  Natural language processing , 1981 .

[20]  Robert W. Blanning,et al.  Issues in the design of expert systems for management , 1899, AFIPS '84.

[21]  Robert W. Blanning,et al.  Data management and model management: a relational synthesis , 1982, ACM-SE 20.

[22]  Hartmut J. Will,et al.  Model management systems , 1975 .