0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Generating Plans from Proofs (Paperback): Michael Benedikt, Julien Leblay, Balder Ten Cate, Efthymia Tsamoura Generating Plans from Proofs (Paperback)
Michael Benedikt, Julien Leblay, Balder Ten Cate, Efthymia Tsamoura
R1,511 Discovery Miles 15 110 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Cosmic Crossroad Countdown - The Fig…
Peter Hofmann Paperback R346 R324 Discovery Miles 3 240
Ticket to Ride
Caroline Akrill Paperback R407 R381 Discovery Miles 3 810
The 5 AM Club - Own Your Morning…
Robin Sharma Paperback  (5)
R390 R348 Discovery Miles 3 480
Mental Health Practice in Geriatric…
T. L Brink, Peter A. Lichtenberg Paperback R1,463 Discovery Miles 14 630
101 Water Wise Ways
Helen Moffett Paperback  (1)
R150 R139 Discovery Miles 1 390
Handbook of Aging and the Social…
Linda George, Kenneth Ferraro Paperback R2,730 Discovery Miles 27 300
A Research Agenda for Human Rights and…
Dina Lupin Hardcover R3,261 Discovery Miles 32 610
Too Black To Wear Whites
Jonty Winch, Richard Parry Paperback R354 Discovery Miles 3 540
Untamed
Glennon Doyle Paperback  (3)
R380 R351 Discovery Miles 3 510
Brutal Legacy - A Memoir
Tracy Going Paperback  (4)
R453 Discovery Miles 4 530

 

Partners