An algorithm for determining database consistency under the closed world assumption

DOI10.1007/BF02943544zbMath0941.68556OpenAlexW1994636208MaRDI QIDQ1337643

Yi-Dong Shen

Publication date: 26 February 1996

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943544

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Formalizing incomplete knowledge in incomplete databases

Cites Work

• Saturation, nonmonotonic reasoning and the closed-world assumption
• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item

This page was built for publication: An algorithm for determining database consistency under the closed world assumption