Generating Plans from Proofs is popular PDF and ePub book, written by Michael Benedikt in 2022-06-01, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Generating Plans from Proofs can be Read Online from any device for your convenience.
Generating Plans from Proofs Book PDF Summary
Query reformulation refers to a process of translating a source query—a request for information in some high-level logic-based language—into a target plan that abides by certain interface restrictions. Many practical problems in data management can be seen as instances of the reformulation problem. For example, the problem of translating an SQL query written over a set of base tables into another query written over a set of views; the problem of implementing a query via translating to a program calling a set of database APIs; the problem of implementing a query using a collection of web services. In this book we approach query reformulation in a very general setting that encompasses all the problems above, by relating it to a line of research within mathematical logic. For many decades logicians have looked at the problem of converting "implicit definitions" into "explicit definitions," using an approach known as interpolation. We will review the theory of interpolation, and explain its close connection with query reformulation. We will give a detailed look at how the interpolation-based approach is used to generate translations between logic-based queries over different vocabularies, and also how it can be used to go from logic-based queries to programs.
Detail Book of Generating Plans from Proofs PDF
- Author : Michael Benedikt
- Release : 01 June 2022
- Publisher : Springer Nature
- ISBN : 9783031018565
- Genre : Computers
- Total Page : 185 pages
- Language : English
- PDF File Size : 18,6 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Generating Plans from Proofs by Michael Benedikt, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.