Logic in Computer Science, Computational Complexity Theory, Database Theory and Finite Model Theory