An algorithm for determining database consistency under the closed world assumption

DOI10.1007/BF02943544zbMATH Open0941.68556OpenAlexW1994636208MaRDI QIDQ1337643FDOQ1337643

Authors: 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)

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Title not available (Why is that?)
• Saturation, nonmonotonic reasoning and the closed-world assumption

Cited In (1)

• Formalizing incomplete knowledge in incomplete databases

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337643)