Accession Number : ADA324032

Title :   Updating Databases with Incomplete Information,

Descriptive Note : Doctoral thesis,

Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Winslett, Marianne S.

PDF Url : ADA324032

Report Date : JAN 1987

Pagination or Media Count : 177

Abstract : Suppose one wishes to construct, use, and maintain a database of facts about the real world, even though the state of that world is only partially known. In the artificial intelligence domain, this problem arises when an agent has a base set of beliefs that reflect partial knowledge about the world, and then tries to incorporate new, possibly contradictory knowledge into this set of beliefs. In the database domain, one facet of this situation is the well-known null values problem. We choose to represent such a database as a logical theory, and view the models of the theory as representing possible states of the world that are consistent with all known information. How can new information be incorporated into the database? For example, given the new information that 'b or c is true,' how can one get rid of all outdated information about b and c, add the new information, and yet in the process not disturb any other information in the database? In current-day database management systems, the difficult and tedious burden of determining exactly what to add and remove from the database is placed on the user. Our research has produced a formal method of specifying the desired change intentionally, by stating a well-formed formula that the state of the world is now known to satisfy. The database update algorithms we provide will automatically accomplish that change. Our approach embeds the incomplete database and the incoming information in the language of mathematical logic, and gives formal definitions of the semantics of our update operators, along with proofs of correct ness for their associated algorithms.

Descriptors :   *DATA BASES, *DATA MANAGEMENT, *ARTIFICIAL INTELLIGENCE, *INFORMATION THEORY, ALGORITHMS, GLOBAL, COMPUTATIONS, MODELS, SEMANTICS, MATHEMATICAL LOGIC, THESES, VARIABLES, COSTS, LANGUAGE, SYNTAX.

Subject Categories : Operations Research
      Computer Systems
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE