Presents a comprehensive overview of central themes of finite model theory - expressive power, descriptive complexity, and zero-one laws - together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems.