Type data bases with incomplete information