Expressibility of higher-order logics on relational databases | Hacker News Reader