Generating Plans from Proofs

Name: Generating Plans from Proofs
Brand: Springer Nature
SKU: 9783031007286
Availability: InStock

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783031007286

Condition

New

0 Reviews

0 Questions | 0 Answers

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

N/A

Available Sizes

N/A

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

$39.99

See Site

In stock

Visit Store

Reviews

Questions & Answers

Similar Products

International Geneva Yearbook 1988

$54.99

Schallwirkungen beim Menschen

$34.99

Elektrotechnik fr Ingenieure 3

$39.99

Unternehmerische Versicherungswirtschaft

$59.99

Demokratie entwickelt Schule

$59.99

The Financial Image

$89.00

Death Matters

$139.99

Verbrennungschirurgie

$229.99

Travel in Towns

$59.99

All Aboard the Schooltrain (Hardcover)

$14.99

Psychopathology in Adolescents and Adults with Autism Spectrum Disorders

$179.99

Progress in Drug Research

$39.99

Molecular Autoimmunity

$129.00

The Accession of James I

$84.99

Android Software Internals Quick Reference

$54.99

Stereochemistry of Organic Compounds

$119.99

The Hidden Magic of Walt Disney World, 3rd Edition- Over 600 Secrets of the Magic Kingdom, Epcot, Disney's Hollywood Studios, and Disney's Animal King

$15.99