:: deftheorem defines Dependency-str ARMSTRNG:def 8 :
for R being DB-Rel holds Dependency-str R = { [A,B] where A, B is Subset of the Attributes of R : A >|> B,R } ;