On the complexity of single−rule datalog queries - Gottlob, G; Papadimitriou, C (2003)