Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation 9781627059541

Варианты приобретения

Цена: 72070.00T
Кол-во:
о цене
Наличие: Невозможна поставка.

в Мои желания

Автор: Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
Название: Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
ISBN: 9781627059541
Издательство: Mare Nostrum (Eurospan)
Классификация:

Математическое и статистическое ПО

Базы данных

Разработка и эксплуатационная простота пользовательского интерфейса

ISBN-10: 1627059547
Обложка/Формат: Paperback
Страницы: 205
Вес: 0.36 кг.
Дата издания: 30.03.2016
Серия: Synthesis lectures on data management
Язык: English
Иллюстрации: Colour illustrations
Размер: 235 x 191 x 11
Читательская аудитория: General (us: trade)
Ключевые слова: Mathematical & statistical software,User interface design & usability
Подзаголовок: The interpolation-based approach to query reformulation
Рейтинг:
Поставляется из: Англии
Описание: Query reformulation refers to a process of translating a source query 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. This book approaches query reformulation in a very general setting that encompasses these problems, by relating it to a line of research within mathematical logic.

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation, Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura