Order Total (1 Item Items):
Shipping Destination:
Generating Plans Proofs by Benedikt Michael (20 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (20)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (4)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (20)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (15)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation (Synthesis Lectures on Data Management)
Published by Morgan & Claypool Publishers, 2016
ISBN 10: 1627059547 ISBN 13: 9781627059541
Language: English
Soft cover. Condition: As New. This book has been in storage since publication and is unread. Hence the description as new .
-
Generating Plans from Proofs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.25
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
PF. Condition: New.
-
Generating Plans from Proofs (Synthesis Lectures on Data Management)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 31.90
Convert currency£ 20.67 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
£ 31.90
Convert currency£ 20.67 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Generating Plans from Proofs
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 55.70
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Generating Plans from Proofs
Published by Springer, Berlin, Springer International Publishing, Morgan & Claypool, Springer, 2016
ISBN 10: 303100728X ISBN 13: 9783031007286
Language: English
£ 47.64
Convert currency£ 12.10 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
£ 46.10
Convert currency£ 14.70 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 41.64
Convert currency£ 22.04 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 58.04
Convert currency£ 6.62 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. 1st edition NO-PA16APR2015-KAP.
-
£ 46.38
Convert currency£ 20.67 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
£ 54.79
Convert currency£ 14.70 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 40.30
Convert currency£ 55.14 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketpaperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week!
-
£ 45.09
Convert currency£ 55.14 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Generating Plans from Proofs
Published by Berlin Springer International Publishing Springer Mrz 2016, 2016
ISBN 10: 303100728X ISBN 13: 9783031007286
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 47.64
Convert currency£ 9.51 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 185 pp. Englisch.
-
Condition: New. Print on Demand.
-
Generating Plans from Proofs
Published by Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer, 2016
ISBN 10: 303100728X ISBN 13: 9783031007286
Language: English
£ 43.41
Convert currency£ 21.61 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .
-
£ 63.22
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND.
-
£ 103.50
Convert currency£ 21.61 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnQuery 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 d.
