Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Generating Plans from Proofs

Generating Plans from Proofs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031007286
Condition
New
Product Description

Query reformulation refers to a process of translating a source querya request for information in some high-level logic-based languageinto 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

National Intellectual Capital and the Financial Crisis in Israel, Jordan, South Africa, and Turkey

$54.99

ber das Vergessen lernen Alzheimer Demenz im Biologieunterricht

$19.99

Advances in Animal Welfare Science 1986/87

$39.99

Educational Leaders Without Borders

$109.99

The Political Economy of Japanese Foreign Direct Investment in the US and the UK

$69.99

An Identity Theory of Truth

$109.99

Analyzing Violence Against Women

$119.00

Comparative Federalism

$54.99

Interactions between sediments and fresh water

$109.99

The Mathematics of Preference, Choice and Order

$179.99

Hadronic Transport Coefficients from Effective Field Theories

$109.99

Europe: I Struggle, I Overcome

$37.99

Creating Autonomous Vehicle Systems, Second Edition

$64.99

Monte Carlo and Quasi-Monte Carlo Methods

$189.00

Biocompatibility of Dental Materials

$249.99

Achsen adoleszenter Zugehrigkeitsarbeit

$29.99

The Token Economy

$84.99

Craniomaxillofacial Reconstructive and Corrective Bone Surgery

$189.00

Therapie von Schmerzstrungen im Kindes- und Jugendalter

$39.95

Deutsches und internationales Steuerrecht

$119.99

Twenty Years of G-CSF

$219.99

Werben Sie richtig?

$59.99

Solder Paste in Electronics Packaging

$39.99

Ramona and Her Mother

$5.96

Adjustment After Migration

$109.99

Principles and Applications of Nonlinear Optical Materials

$39.99

Pluralismus als Verfassungs- und Gesellschaftsmodell

$69.99

Endocrine Disruptors

$169.00

From Malignant Transformation to Metastasis

$159.99

Comparative Placentation

$279.99

Bildung nach reaktionren Revolutionen

$64.99

Blending Technologies in Second Language Classrooms

$119.99

Peer-to-Peer Systems III

$54.99

Understanding Agent Systems

$109.99

Wireless and Mobile Communications

$129.00

Grundlagen der Mathematischen Optimierung

$44.99

Lymphomas 1

$39.99

Mathematics, Substance and Surmise

$54.99

Fostering Mixed Race Children

$79.99

The Educating of Armies

$54.99