DocumentCode
3323567
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
fYear
1991
fDate
3-5 Apr 1991
Firstpage
305
Lastpage
309
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Applied Computing, 1991., [Proceedings of the 1991] Symposium on
Conference_Location
Kansas City, MO
Print_ISBN
0-8186-2136-2
Type
conf
DOI
10.1109/SOAC.1991.143892
Filename
143892
Link To Document