for R being DB-Rel holds Dependency-str R is full_family