An integrity model based on knowledge and belief

This paper defines a formal model of database integrity using the concept of knowledge and belief. Knowledge are unrefutable facts and rules, while beliefs are refutable rules to be enforced. Transaction based integrity checking is used. Representation of knowledge and belief are given, and related work is discussed.<>