Raymond Reiter

Canadian computer scientist and logician who formalized the closed-world assumption for databases in 1978.

authored

• On Closed World Data Bases writing 1978 [src]

Sources

• https://www.wikidata.org/wiki/Q7299101
• https://en.wikipedia.org/wiki/Closed-world_assumption