2,201 followers
@AlgebraFact Also logic, finite model theory, and algebra. Databases are one of the three areas that were the impetus for finite model theory (the others being computational complexity and formal languages). eg they're the first example in Libkin's book ht