added a method to count total triples in a DB