Finite Model Theory and Its Applications

• Main Authors: Grädel, Erich (Author), Kolaitis, Phokion G. (Author), Libkin, Leonid (Author), Marx, Maarten (Author), Spencer, Joel (Author), Vardi, Moshe Y. (Author), Venema, Yde (Author), Weinstein, Scott (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Texts in Theoretical Computer Science an EATCS Series,
• Subjects: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Database management.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Database Management.

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final ch...