|
|
libcats.org
Языки запросов для баз данныхТайцлин М.А.Пособие посвящено изучению языков запросов для баз данных.
В первой главе содержатся определения классов сложности глобальных предикатов и полноты языка запросов для заданного класса сложности. Показывается, что язык логики предикатов первого порядка задает только полиномиально распознаваемые на детерминированных машинах Тьюринга запросы, но не является полным PTIME. Строятся полные для PTIME и NPTIME языки запросов при условии, что базы данных упорядочены. Во второй главе приводится пример Гуревича, показывающий, что использование линейного порядка существенно увеличивает выразительные возможности языка логики предикатов, даже для случая генерических (сохраняющихся при перестановках универсума) запросов EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Куба (Из записок геолога, история 13)Автор: Алексеев ВячеславКатегория: Путешествия и география
Размер книги: 4 Kb
The Cambridge History of Renaissance PhilosophyАвтор: Editors: C. B. Schmitt, Автор: Quentin Skinner, Автор: Eckhard Kessler, Автор: Jill Kraye
Размер книги: 57.44 Mb
Искусственный интеллект и интеллектуальные системы управления :Автор: И. М. Макаров [и др. ; отв. ред. И. М. Макаров] ; Российская акад. наук, Автор: Отд-ние информ. технологий и вычислительных систем;Макаров, Автор: Игорь МихайловичКатегория: Радиоэлектроника -- Кибернетика -- Искусственный интеллект -- Системы искусственного интеллекта -- Пособие для специалистов, Автоматика -- Оптимальные и самонастраивающиеся системы управления -- Самонастраивающиеся
Размер книги: 2.80 Mb
|
|
|