Welcome to the page related to our work on smart plans.
Many data sources provide access to their data through Web services (remote APIs). These Web services can be orchestrated together in execution plans in order to answer queries. In our paper, we show that some plans are guaranteed to deliver an answer to the query under certain conditions. We show that the problem of determining the existence of such plans is decidable, and we provide an algorithm for finding such plans. Finally, we conduct a proof of concept for our method on real Web services.