Static analysis of transactional intensional databases