Datalog was further refined over the years, As well as in 1989, the language was standardized with the Intercontinental Business for Standardization (ISO). The standardization gave the language a much more formal specification, which served in its wider adoption.The fixpoint semantics suggest an algorithm for computing the minimal product: Begin wi