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...
The Key to Self-Liberation…
Christiane Beerlandt Hardcover R2,084 Discovery Miles 20 840
Morphophonemics of Modern Hebrew…
Noam Chomsky Paperback R1,236 Discovery Miles 12 360
On the Obscure Diseases of the Brain and…
Forbes Winslow Paperback R826 Discovery Miles 8 260
Social Justice and Education in the 21st…
Willie Pearson Jr, Vijay Reddy Hardcover R5,633 Discovery Miles 56 330
Ten Great Religions - an Essay in…
James Freeman Clarke Paperback R715 Discovery Miles 7 150
Police Responses to People with Mental…
Duncan Chappell Hardcover R4,462 Discovery Miles 44 620
3D Stadium Puzzles - Arsenal The…
R837 R770 Discovery Miles 7 700
WTF - Capturing Zuma: A Cartoonist's…
Zapiro Paperback R295 R272 Discovery Miles 2 720
The Digitization of Healthcare - New…
Loick Menvielle, Anne-Francoise Audrain-Pontevia, … Hardcover R5,456 Discovery Miles 54 560
Sabotage - Eskom Under Siege
Kyle Cowan Paperback  (2)
R320 R253 Discovery Miles 2 530

 

Partners