Enhancing the expressive power of the U-Datalog language