Title :
An integrity model based on knowledge and belief
Author :
Liu, David Y. ; Unger, Elizabeth A.
Author_Institution :
Dept. of Comput. Sci., Pittsburg State Univ., KS, USA
Abstract :
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
Keywords :
data integrity; database management systems; knowledge based systems; knowledge representation; belief; database integrity; facts; formal model; integrity model; knowledge; knowledge representation; refutable rules; rules; transaction based integrity checking; Bismuth; Computer science; Data models; Data security; Deductive databases; Humans; Information systems; Relational databases; Transaction databases;
Conference_Titel :
Applied Computing, 1991., [Proceedings of the 1991] Symposium on
Conference_Location :
Kansas City, MO
Print_ISBN :
0-8186-2136-2
DOI :
10.1109/SOAC.1991.143892
