Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present a technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. Our approach employs a source-to-source program transformation which approximates the propagation technique from Constraint Programming. The experimental evaluation of the approach shows good run time speed- ups on a range of non-recursive as ll as recursive programs. Furthermore, our technique improves upon the previously reported in the literature constraint magic set transformation approach.
['Dario Campagna', 'Beata Sarna-Starosta', 'Tom Schrijvers']
I am writing a research paper on a idea Approximating Constraint Propagation in Datalog
[{"from": "human", "value": "I am writing a research paper on a idea Approximating Constraint Propagation in Datalog"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  present a technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. Our approach employs a source-to-source program transformation which approximates the propagation technique from Constraint Programming. The experimental evaluation of the approach shows good run time speed- ups on a range of non-recursive as ll as recursive programs. Furthermore, our technique improves upon the previously reported in the literature constraint magic set transformation approach."}]