ฐานข้อมูลที่ไม่แน่นอน^{[ 1 ]} เป็น ฐานข้อมูลประเภทหนึ่งที่ศึกษาในทฤษฎีฐานข้อมูล เป้าหมายของฐานข้อมูลที่ไม่แน่นอนคือการจัดการข้อมูลที่มีความไม่แน่นอน อยู่บ้าง ฐานข้อมูลที่ไม่แน่นอนทำให้สามารถแสดงและจัดการความไม่แน่นอนของข้อมูลได้อย่างชัดเจน โดยปกติแล้วจะทำในลักษณะ ที่กระชับ

พื้นฐานของฐานข้อมูลที่ไม่แน่นอนคือแนวคิดเรื่องโลกที่เป็นไปได้โดยเฉพาะอย่างยิ่ง โลกที่เป็นไปได้ของฐานข้อมูลที่ไม่แน่นอนคือฐานข้อมูล (ที่แน่นอน) ซึ่งเป็นหนึ่งในความเป็นไปได้ของฐานข้อมูลที่ไม่แน่นอนนั้น โดยทั่วไปแล้ว ฐานข้อมูลที่ไม่แน่นอนหนึ่งๆ จะมีโลกที่เป็นไปได้มากกว่าหนึ่งโลก และอาจมีมากมายนับไม่ถ้วน

รูปแบบเชิงนามธรรมสำหรับการแสดงฐานข้อมูลที่ไม่แน่นอนจะอธิบายวิธีการแสดงชุดของโลกที่เป็นไปได้ต่างๆ ลงในฐานข้อมูลที่ไม่แน่นอนเพียงฐานเดียวอย่างกระชับ

แบบจำลองฐานข้อมูลที่ไม่แน่นอนมีความแตกต่างกันในวิธีการนำเสนอและวัดปริมาณของโลกที่เป็นไปได้เหล่านี้:

• ฐานข้อมูลที่ไม่สมบูรณ์^{[ 2 ] [ 3 ]}เป็นการแสดงชุดของโลกที่เป็นไปได้ในรูปแบบที่กระชับ – การใช้NULLใน SQL ซึ่งถือเป็นการสร้างฐานข้อมูลที่ไม่แน่นอนที่พบได้บ่อยที่สุด ถือเป็นตัวอย่างของแบบจำลองฐานข้อมูลที่ไม่สมบูรณ์
• ฐานข้อมูลความน่าจะเป็น^{[ 4 ]}เป็นการแสดงแบบกระชับของการกระจายความน่าจะเป็นเหนือเซตของโลกที่เป็นไปได้
• ฐานข้อมูลแบบฟัซซี่^{[ 5 ]}เป็นการแสดงแบบกระชับของเซตฟัซซี่ของโลกที่เป็นไปได้

แม้ว่าส่วนใหญ่จะศึกษาใน บริบท เชิงสัมพันธ์แต่โมเดลฐานข้อมูลที่ไม่แน่นอนยังสามารถกำหนดได้ในโมเดลเชิงสัมพันธ์ อื่นๆ เช่นฐานข้อมูลกราฟ^{[ 6 ]}หรือ ฐาน ข้อมูล XML

แบบจำลองฐานข้อมูลที่พบได้บ่อยที่สุดคือแบบจำลองเชิงสัมพันธ์มีการกำหนดแบบจำลองฐานข้อมูลที่ไม่สมบูรณ์หลายแบบบนแบบจำลองเชิงสัมพันธ์ ซึ่งเป็นส่วนขยายของพีชคณิตเชิงสัมพันธ์สิ่งเหล่านี้เรียกว่าพีชคณิต Imieliński–Lipski ^{[ 7 ]}

• ความสัมพันธ์ที่มี ค่า เป็น NULLหรือที่เรียกว่าตารางCodd
• ตาราง c ^{[ 2 ]}
• ตาราง v ^{[ 2 ]}

ตารางต่อไปนี้แสดงความสัมพันธ์ของฐานข้อมูลที่ไม่สมบูรณ์ ซึ่งอธิบายในรูปแบบของ ค่าว่าง (NULL) :

มีโลกที่เป็นไปได้มากมายนับไม่ถ้วนสำหรับฐานข้อมูลที่ไม่สมบูรณ์นี้ ซึ่งได้มาจากการแทนที่ค่า "NULL" ด้วยค่าที่เป็นรูปธรรม ตัวอย่างเช่น ความสัมพันธ์ต่อไปนี้เป็นโลกที่เป็นไปได้โลกหนึ่ง: