Лучшие статьи и кейсы стартапов
Включить уведомления
Дадим сигнал, когда появится
что-то суперстоящее.
Спасибо, не надо
Вопросы Проекты Вакансии
Postgres Professional российский вендор PostgreSQL
Рекомендуем
Продвинуть свой проект
Лучшие проекты за неделю
30
Битрикс24

Битрикс24

www.bitrix24.ru

22
Отследить-посылку

Отследить-посылку

B2B-сервис трекинга посылок

13
WebResidentTeam

WebResidentTeam

webresident.agency

12
Devicerra

Devicerra

devicerra.com

12
Perezvoni.com

Perezvoni.com

perezvoni.com

11
Expresso

Expresso

www.expresso.today

11
myPreza

myPreza

mypreza.ru

9
Reader

Reader

Интернет-журнал о современных технологиях.

9
ADN Digital Studio

ADN Digital Studio

adn.agency

Показать следующие
Рейтинг проектов
Подписывайтесь на Спарк в Facebook

Леонид Либкин из Эдинбургского университета выступит с докладом «Making SQL Queries Correct on Databases with Nulls»

17 0 В избранное Сохранено
Авторизуйтесь
Вход с паролем
9 августа 2016 года (вторник) Леонид Либкин из Эдинбургского университета выступит с докладом в офисе компании Postgres Professional и расскажет о том, "Как правильно использовать NULL'ы с точки зрения науки о базах данных?"
ll_sq700corr.jpg           9 августа 2016 года (вторник) Леонид Либкин из Эдинбургского университета выступит с докладом «Making SQL Queries Correct on Databases with Nulls» в офисе компании Postgres Professional и расскажет о том, "Как правильно использовать NULL'ы с точки зрения науки о базах данных?"

          Доклад пройдет на семинаре Postgres Professional по адресу: Москва, Дмитрия Ульянова 7А
9 августа 2016 года в 14:00.

          Записывайтесь на семинар письмом по адресу info@postgrespro.ru или на странице события в facebook.

          Our goal is to bridge the difference between theoretical and practical approaches to answering queries over databases with nulls, and to suggest ways in which SQL's handling of nulls can be modified to provide correctness guarantees. Theoretical research has long ago identified the notion of correctness of query answering over incomplete data: one needs to find certain answers, which are true regardless of how incomplete information is interpreted. In practice, on the other hand, query answering must be very efficient, and to achieve this, SQL uses three-valued logic for evaluating queries on databases with nulls. Due to the complexity mismatch, the two approaches cannot coincide, but perhaps they are related in some way? For instance, does SQL always produce answers we can be certain about?

          This is not so: SQL's and certain answers semantics could be totally unrelated, and SQL can produce both false negatives (i.e., miss some tuples that are in the answer) and even worse, false positives (i.e., return tuples that are completely wrong). However, it is possible to produce translations of SQL queries that eliminate false positives and return only certain answers. In fact there are several such translations and all of them guarantee good complexity bounds, at least in theory. In practice, one of them performs quite well. Since one modifies queries to ensure correctness, one in general expects some slowdown; the hope is that it is negligible. This is what we observe in the majority of our experiments. Others, where the behavior is different, reveal issues with commercial query optimizers that go well beyond the problem of handling incomplete data.

          Leonid Libkin is Professor of Foundations of Data Management in the School of Informatics at the University of Edinburgh. He was previously a Professor at the University of Toronto and a member of research staff at Bell Laboratories in Murray Hill. His main research interests are in the areas of data management and applications of logic in computer science. He has written five books and over 200 technical papers. His awards include a Marie Curie Chair Award and five Best Paper Awards. He has chaired programme committees of major database conferences (ACM PODS, ICDT) and was the conference chair of the 2010 Federated Logic Conference. He has given many invited conference talks and has served on multiple program committees and editorial boards. He is an ACM fellow, a fellow of the Royal Society of Edinburgh, and a member of Academia Europaea.

0
Добавить в избранное Сохранено
Авторизуйтесь
Вход с паролем
Комментариев еще не оставлено
Выбрать файл
Читайте далее
Загружаем…
Блог проекта
Расскажите историю о создании или развитии проекта, поиске команды, проблемах и решениях
Написать
Личный блог
Продвигайте свои услуги или личный бренд через интересные кейсы и статьи
Написать