" ON EFFICIENT FIXPOINT COMPUTATION OF DEDUCTIVE DATABASES WITH UNCERTAINTY.POMPES PAR TRANSITIONS MULTIPLES "