Towards Automatic Synthesis of View Update Programs on Relations

Automatic synthesis of bidirectional programs on relations has not been well studied yet. As an attempt to solve the problem, we propose an approach to synthesizing view update strategies on relations written in Datalog from examples and data schemes. Our approach has been implemented and used to successfully synthesize various view update tasks on relations.