Expressibility of higher-order logics on relational databases #1 Post by stralep » Wed, Jan 11, 2012, 4:14 AM UTC Expressibility of higher-order logics on relational databasesmro.massey.ac.nz