Balder ten Cate's Books

Generating Plans from Proofs

The Interpolation-based Approach to Query Reformulation

By: Michael Benedikt,Julien Leblay,Balder ten Cate,Efthymia Tsamoura

Write a review Read reviews Take a Quiz Solve Book Puzzle

Generating Plans from Proofs

The Interpolation-based Approach to Query Reformulation

By: Michael Benedikt,Julien Leblay,Balder ten Cate,Efthymia Tsamoura

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

207

Publisher

Morgan & Claypool Publishers

Published Date

ISBN 10

1627059423

ISBN 13

9781627059428

Generating Plans from Proofs

The Interpolation-based Approach to Query Reformulation

By: Michael Benedikt,Julien Leblay,Balder Ten Cate

Write a review Read reviews Take a Quiz Solve Book Puzzle

Generating Plans from Proofs

The Interpolation-based Approach to Query Reformulation

By: Michael Benedikt,Julien Leblay,Balder Ten Cate

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

206

Publisher

Morgan & Claypool

Published Date

ISBN 10

1627059547

ISBN 13

9781627059541

Generating Plans from Proofs

By: Michael Benedikt,Julien Leblay,Balder ten Cate,Efthymia Tsamoura

Write a review Read reviews Take a Quiz Solve Book Puzzle

Generating Plans from Proofs

By: Michael Benedikt,Julien Leblay,Balder ten Cate,Efthymia Tsamoura

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

185

Publisher

Springer Nature

Published Date

ISBN 10

3031018567

ISBN 13

9783031018565

Logic, Language, and Computation

6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

By: Balder D. ten Cate,Henk W. Zeevat

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logic, Language, and Computation

6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

By: Balder D. ten Cate,Henk W. Zeevat

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book represents the thoroughly refereed post-proceedings of the 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, held in Batumi, Georgia. The 19 revised full papers presented were carefully reviewed and selected from numerous presentations at the symposium. The papers present current research in all aspects of linguistics, logic and computation.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

292

Publisher

Springer

Published Date

ISBN 10

3540751440

ISBN 13

9783540751441

Book's by Balder ten Cate

Generating Plans from Proofs

Generating Plans from Proofs

Generating Plans from Proofs

Generating Plans from Proofs

Generating Plans from Proofs

Generating Plans from Proofs

Logic, Language, and Computation

Logic, Language, and Computation

Username

Password

Username

Password

Password again

Birthday

Email