Modern IT systems deal with an increasing level of info, often certain by sophisticated products, that demand particular representations of precisely the same data so as to execute translation concerning different computer software levelsThe fixpoint semantics propose an algorithm for computing the minimal model: Start with the list of floor detail