Una base de datos incierta [1] es un tipo de base de datos que se estudia en la teoría de bases de datos . El objetivo de las bases de datos inciertas es gestionar información sobre la que existe cierta incertidumbre . Las bases de datos inciertas permiten representar y gestionar explícitamente la incertidumbre de los datos, normalmente de forma sucinta .
En la base de las bases de datos inciertas se encuentra la noción de mundo posible . En concreto, un mundo posible de una base de datos incierta es una base de datos (cierta) que es una de las posibles realizaciones de la base de datos incierta. Una base de datos incierta dada normalmente tiene más de un mundo posible, y potencialmente infinitos.
Un formalismo para representar bases de datos inciertas explica entonces cómo representar sucintamente un conjunto de mundos posibles en una base de datos incierta.
Los modelos de bases de datos inciertos difieren en cómo representan y cuantifican estos mundos posibles:
Aunque se estudian principalmente en el entorno relacional , los modelos de bases de datos inciertos también se pueden definir en otros modelos relacionales, como bases de datos gráficas [6] o bases de datos XML .
El modelo de base de datos más común es el modelo relacional . Se han definido múltiples modelos de base de datos incompletos sobre el modelo relacional, que forman extensiones del álgebra relacional . Estos se han denominado [7] álgebras de Imieliński–Lipski:
La siguiente tabla es una relación de una base de datos incompleta, descrita en el formalismo de valores NULL :
Existen infinitos mundos posibles para esta base de datos incompleta, que se obtienen reemplazando los valores "NULL" por valores concretos. Por ejemplo, la siguiente relación es un mundo posible: