Database systems, database theory, logic, computational complexity, knowledge representation