Using Views to Implement Datalog Programs Inverse Rules Duschkaâs Algorithm Inverting Rules Idea: âinvertâ the view definitions to give the global predicates definitions…