Some Remarks on the Completed Database - Kunen, Kenneth (University of Wisconsin-Madison Department of Computer Sciences, 1988)