Formal Treatment of Incomplete Information in Type Data Bases