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

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

Modern Three-Hadron Physics

$39.99

Case-Based Reasoning Research and Development

$39.99

Automated Deduction - CADE-14

$39.99

Privatheit, Garten und politische Kultur

$64.99

Wenn aus Liebe rote Zahlen werden

$89.99

Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures

$129.00

Politicizing Rape and Pornography

$39.99

Professionalisierte politische Kommunikation

$49.99

Mathematics and Computation in Music

$69.99

Kurt Gdel

$34.99

Plant Breeding

$259.00

Biophysik des Fliegleichgewichts

$74.99

IT Applications for Sustainable Living

$49.99

Nutraceuticals and Cardiovascular Disease

$139.99

Creative and Collaborative Learning through Immersion

$169.99

Medizinische Psychologie in der Intensivbehandlung

$69.99

It Starts With Food by Dallas Hartwig

$26.95

City of Ghosts: Tunnel of Bones

$6.74

Bioremediation of Soils Contaminated with Aromatic Compounds

$219.99

Data-driven Marketing

$54.99

Robotics in STEM Education

$139.99

Interferon Alpha-2: Pre-Clinical and Clinical Evaluation

$109.99

Modern Greece

$14.99