Logic and Databases: A Deductive Approach

A tuple t whose scheme includes attribute A is definite on A, writ- ten t(A)!, if t(A) is not null. This notation extends to sets of attributes: t(X)1 means t(A) ...