NoSQL database generation using SAT solver

In the most recent years, we saw the ascent of XQuery, a dialect locally intended to inquiry over XML archives. The Web, as we probably am aware today, makes an enormous utilization of XML reports, To give a coordination between these two universes, our work introduces a device equipped for arrange SQL inquiries into XQuery administrators prepared to be handled by a XQuery motor. Along these lines, we expect to give more flexibility to engineers, offering dialect autonomy by using SAT.