A relational framework for assertion management

作者:

Highlights:

摘要

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.

论文关键词:First order logic,Virtual relation,Relational projection,Relational join,Lossy join,Clausal form,Query language,Table skeleton,Data management,Model management,Assertion management,Information management,Expert system

论文评审过程:Available online 19 May 2003.

论文官网地址:https://doi.org/10.1016/0167-9236(85)90065-X