Static analysis of intensional databases in U-Datalog