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