Valid or Complete Information in Databases - A Possibility Theory-Based Analysis

The validity of the information stored in a database may be guaranteed or not, according to the family of items which is considered. The information available in the database may be complete or not, as well, for a given type of items. The paper discusses how these forms of uncertainty can be represented in the framework of possibility theory, and how queries to a database where information is neither necessarily complete and nor valid, can be handled using possibilistic logic. One benefit of the possibilistic modelling is to allow for the use of graded levels of validity, and of graded levels of certainty that the information is complete.

[1]  Luis Fariñas del Cerro,et al.  A modal analysis of possibility theory , 1991, FAIR.

[2]  Amihai Motro,et al.  Integrity = validity + completeness , 1989, TODS.

[3]  Didier Dubois,et al.  Dealing with Multi-Source Information in Possibilistic Logic , 1992, ECAI.

[4]  Rudolf Kruse,et al.  Qualitative and Quantitative Practical Reasoning , 1997, Lecture Notes in Computer Science.

[5]  Didier Dubois,et al.  Syntactic Combination of Uncertain Information: A Possibilistic Approach , 1997, ECSQARU-FAPR.

[6]  Henri Prade,et al.  An Introduction to the Fuzzy Set and Possibility Theory-Based Treatment of Flexible Queries and Uncertain or Imprecise Databases , 1996, Uncertainty Management in Information Systems.

[7]  Robert Demolombe,et al.  Validity Queries and Completeness Queries , 1996, ISMIS.

[8]  H. Prade,et al.  Possibilistic logic , 1994 .

[9]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[10]  Amihai Motro,et al.  Completeness Information and Its Application to Query Processing , 1986, VLDB.

[11]  Robert Demolombe,et al.  Answering Queries About Validity and Completeness of Data: From Modal Logic to Relational Algebra , 1997, FQAS.

[12]  Marialuisa N. McAllister.  Possibility Theory: An Approach to Computerized Processing of Uncertainty (Didier Dubois and Henri Prade with the collaboration o f Henri Farreny, Roger Martin-Clouaire, and Claudette Testemale; E. F. Handing, trans.) , 1992, SIAM Rev..

[13]  Didier Dubois,et al.  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..

[14]  Amihai Motro,et al.  Uncertainty Management in Information Systems: From Needs to Solution , 1996 .

[15]  Henri Prade,et al.  Generalizing Database Relational Algebra for the Treatment of Incomplete/Uncertain Information and Vague Queries , 1984, Inf. Sci..