A systematic presentation of semantic and mathematical modeling methods developed in database theory is given. The main focus is on results that allow algorithmizing and automating the design of the logical structure of automated data banks.