Title: Relational database dependencies and problems within the framework of propositional logic