Generating Plans from Proofs

Häftad, Engelska, 2016

Del i serien Synthesis Lectures on Data Management

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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. 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;

Produktinformation

Utgivningsdatum:2016-03-15
Mått:191 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Synthesis Lectures on Data Management
Antal sidor:185
Förlag:Springer International Publishing AG
ISBN:9783031007286
Originaltitel:Generating Plans from Proofs

Utforska kategorier

Referensverk och tvärvetenskap inom Samhälle och politik
Hårdvara inom Data och IT
Programmeringsböcker inom Data och IT

Mer om författaren

Michael Benedikt is Professor of Computer Science at Oxford University and a fellow of University College Oxford. He came to Oxford after a decade in U.S. industrial research laboratories, including positions as Distinguished Member of Technical Staff at Bell Laboratories and visiting researcher at Yahoo! Labs. He has worked extensively in mathematical logic, finite model theory, verification, database theory, and database systems, and has served as chair of the ACM's main database theory conference, Principles of Database Systems. The current focus of his research is Web data management, with recent projects including querying of the deep Web, querying and integration of annotated data, and querying of web services.

Innehållsförteckning

Preface.- Acknowledgments.- Introduction.- Vocabulary-based Target Restrictions.- Access Methods and Integrity Constraints.- Reformulation Algorithms for TGDs.- Low-cost Plans Via Proof Search.- Conclusion.- Bibliography.- Authors' Biographies.- Index.