Статья посвящена разработке новых средств декомпозиции предикатов на основе утверждений о зависимостях из области нормализации реляционных отношений. Дано точное определение процедуре декомпозиции по отношению к реляционным отношениям и к предикатам. Рассмотрены утверждения о зависимостях, позволяющих проводить декомпозицию реляционных отношений; предложены их обобщения. Опираясь на связь между реляционной алгеброй и алгеброй предикатов, сформулированы утверждения о зависимостях, преобразованных в новые средства декомпозиции предикатов.