Разработка реляционных средств декомпозиции предикатов
| Источник: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 131-137] |
|---|---|
| Главный автор: | Рудометкина М. Н. Моника Николаевна |
| Другие авторы: | Спицын В. Г. Владимир Григорьевич, Эттель В. А. Владимир Абрамович |
| Примечания: | Заглавие с титульного листа Электронная версия печатной публикации Статья посвящена разработке новых средств декомпозиции предикатов на основе утверждений о зависимостях из области нормализации реляционных отношений. Дано точное определение процедуре декомпозиции по отношению к реляционным отношениям и к предикатам. Рассмотрены утверждения о зависимостях, позволяющих проводить декомпозицию реляционных отношений; предложены их обобщения. Опираясь на связь между реляционной алгеброй и алгеброй предикатов, сформулированы утверждения о зависимостях, преобразованных в новые средства декомпозиции предикатов. |
| Опубликовано: |
2013
|
| Серии: | Интеллектуальные системы |
| Предметы: | |
| Online-ссылка: | http://earchive.tpu.ru/bitstream/11683/4818/1/bulletin_tpu-2013-322-5-27.pdf |
| Формат: | Электронный ресурс Статья |
| Запись в KOHA: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240463 |
Схожие документы
Разработка метода бинарной декомпозиции функциональных предикатов
по: Рудометкина М. Н.
Опубликовано: (2012)
по: Рудометкина М. Н.
Опубликовано: (2012)
Разработка программного обеспечения иерархической модели процесса
по: Рудометкина М. Н. Моника Николаевна
Опубликовано: (2016)
по: Рудометкина М. Н. Моника Николаевна
Опубликовано: (2016)
Численные методы декомпозиции в линейных задачах механики
по: Базилевич Ю. Н. Юрий Николаевич
Опубликовано: (Киев, Наукова думка, 1987)
по: Базилевич Ю. Н. Юрий Николаевич
Опубликовано: (Киев, Наукова думка, 1987)
Математическая логика учебное пособие
по: Эдельман С. Л. Самсон Львович
Опубликовано: (Москва, Высшая школа, 1975)
по: Эдельман С. Л. Самсон Львович
Опубликовано: (Москва, Высшая школа, 1975)
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
по: Леденева Т. М.
Опубликовано: (Воронеж, ВГУ, 2020)
по: Леденева Т. М.
Опубликовано: (Воронеж, ВГУ, 2020)
Дискретная математика. Теория и практикум учебник для вузов
по: Ерусалимский Я. М.
Опубликовано: (Санкт-Петербург, Лань, 2023)
по: Ерусалимский Я. М.
Опубликовано: (Санкт-Петербург, Лань, 2023)
Дискретная математика. Теория и практикум учебник для вузов
по: Ерусалимский Я. М.
Опубликовано: (Санкт-Петербург, Лань, 2025)
по: Ерусалимский Я. М.
Опубликовано: (Санкт-Петербург, Лань, 2025)
Язык манипулирования данными: реляционная алгебра и реляционное исчисление учебно-методическое пособие для студентов юридического факультета
по: Астахова И. Ф.
Опубликовано: (Воронеж, ВГУ, 2021)
по: Астахова И. Ф.
Опубликовано: (Воронеж, ВГУ, 2021)
Системы управления базами данных учебник для вузов
по: Мамедли Р. Э.
Опубликовано: (Санкт-Петербург, Лань, 2024)
по: Мамедли Р. Э.
Опубликовано: (Санкт-Петербург, Лань, 2024)
Теоретические основы реляционных баз данных учебное пособие
по: Баранчиков А. И.
Опубликовано: (Рязань, РГРТУ, 2023)
по: Баранчиков А. И.
Опубликовано: (Рязань, РГРТУ, 2023)
Введение в математику и логику учебное пособие
по: Червенчук В. Д.
Опубликовано: (Омск, Омский ГАУ, 2005)
по: Червенчук В. Д.
Опубликовано: (Омск, Омский ГАУ, 2005)
Основы баз данных курс лекций учебное пособие
по: Кузнецов С. Д. Сергей Дмитриевич
Опубликовано: (Москва, Интернет-Университет информационных технологий, 2005)
по: Кузнецов С. Д. Сергей Дмитриевич
Опубликовано: (Москва, Интернет-Университет информационных технологий, 2005)
Проектирование баз данных: Конспект лекций
по: Смирнов М. В.
Опубликовано: (Москва, РТУ МИРЭА, 2020)
по: Смирнов М. В.
Опубликовано: (Москва, РТУ МИРЭА, 2020)
Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
по: Лихтарников Л. М. Леонид Моисеевич
Опубликовано: (СПб., Лань, 2009)
по: Лихтарников Л. М. Леонид Моисеевич
Опубликовано: (СПб., Лань, 2009)
Логико-алгебраические основы дискретной математики учебное пособие для вузов
по: Розен В. В.
Опубликовано: (Санкт-Петербург, Лань, 2023)
по: Розен В. В.
Опубликовано: (Санкт-Петербург, Лань, 2023)
Дискретная математика учебное пособие
по: Скоба А. Н.
Опубликовано: (Новочеркасск, ЮРГПУ (НПИ), 2022)
по: Скоба А. Н.
Опубликовано: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Логика высказываний и булевы алгебры учебное пособие
по: Гринченков Д. В.
Опубликовано: (Новочеркасск, ЮРГПУ (НПИ), 2022)
по: Гринченков Д. В.
Опубликовано: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Базы данных. Программирование на SQL учебник
по: Гринченко Н. Н.
Опубликовано: (Рязань, РГРТУ, 2023)
по: Гринченко Н. Н.
Опубликовано: (Рязань, РГРТУ, 2023)
Математическая логика и теория алгоритмов учебно-методическое-пособие
по: Геут К. Л.
Опубликовано: (Екатеринбург, 2017)
по: Геут К. Л.
Опубликовано: (Екатеринбург, 2017)
Базы, банки данных учебное пособие
по: Пономарев А. А. Алексей Анатольевич
Опубликовано: (Томск, Изд-во ТПУ, 2006)
по: Пономарев А. А. Алексей Анатольевич
Опубликовано: (Томск, Изд-во ТПУ, 2006)
Основы баз данных учебное пособие
по: Кузнецов С. Д. Сергей Дмитриевич
Опубликовано: (Москва, Интернет-Университет информационных технологий, 2012)
по: Кузнецов С. Д. Сергей Дмитриевич
Опубликовано: (Москва, Интернет-Университет информационных технологий, 2012)
Математическая логика и теория алгоритмов учебное пособие
по: Михальченко Г. Е.
Опубликовано: (Красноярск, СФУ, 2018)
по: Михальченко Г. Е.
Опубликовано: (Красноярск, СФУ, 2018)
Базы данных. Лекции по курсу. В 4 ч. Ч. 1 Учебное пособие
по: Стасышин В. М.
Опубликовано: (Новосибирск, НГТУ, 2021)
по: Стасышин В. М.
Опубликовано: (Новосибирск, НГТУ, 2021)
Теория и алгоритмы обработки рекурсивных информационных структур автореферат диссертации на соискание ученой степени кандидата технических наук
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)
Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
по: Прокопенко Н. Ю.
Опубликовано: (Нижний Новгород, ННГАСУ, 2021)
по: Прокопенко Н. Ю.
Опубликовано: (Нижний Новгород, ННГАСУ, 2021)
Теория и алгоритмы обработки рекурсивных информационных структур диссертация на соискание ученой степени кандидата технических наук спец. 05.13.01
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2006)
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2006)
Дискретная математика учебное пособие
по: Бекарева Н. Д.
Опубликовано: (Новосибирск, НГТУ, 2019)
по: Бекарева Н. Д.
Опубликовано: (Новосибирск, НГТУ, 2019)
Базы данных. Лекции по курсу учебное пособие
по: Стасышин В. М.
Опубликовано: (Новосибирск, НГТУ, 2021)
по: Стасышин В. М.
Опубликовано: (Новосибирск, НГТУ, 2021)
Теория и алгоритмы обработки рекурсивных информационных структур автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)
по: Соколова В. В. Вероника Валерьевна
Опубликовано: (Томск, [Б. и.], 2007)
Математическая логика задачник-практикум для студентов физико-математического факультета
по: Троякова Г. А.
Опубликовано: (Кызыл, ТувГУ, 2018)
по: Троякова Г. А.
Опубликовано: (Кызыл, ТувГУ, 2018)
Исследование влияния ширины окна декомпозиции в сингулярном разложении
по: Новицкая К. В.
Опубликовано: (2020)
по: Новицкая К. В.
Опубликовано: (2020)
Применение декомпозиции сигнала на основе вейвлетов для задач локализации волн давления
по: Бетев Ю. Ю. Юрий Юрьевич
Опубликовано: (2010)
по: Бетев Ю. Ю. Юрий Юрьевич
Опубликовано: (2010)
Математическая логика. Курс лекций. Задачник-практикум и решения
по: Лихтарников Л. М.
Опубликовано: (Санкт-Петербург, Лань, 2022)
по: Лихтарников Л. М.
Опубликовано: (Санкт-Петербург, Лань, 2022)
Основы дискретной математики учебное пособие
по: Галиев Ш. И. Шамиль Ибрагимович
Опубликовано: (Казань, [Б. и.], 1978)
по: Галиев Ш. И. Шамиль Ибрагимович
Опубликовано: (Казань, [Б. и.], 1978)
Основы проектирования реляционных баз данных учебное пособие
по: Туманов В. Е. Владимир Евгеньевич
Опубликовано: (Москва, БИНОМ. Лаборатория знаний, 2012)
по: Туманов В. Е. Владимир Евгеньевич
Опубликовано: (Москва, БИНОМ. Лаборатория знаний, 2012)
Математические основания информатики учеб. пособие
по: Червенчук И. В.
Опубликовано: (Омск, ОмГТУ, 2023)
по: Червенчук И. В.
Опубликовано: (Омск, ОмГТУ, 2023)
Синтез комбинационных схем методами функциональной декомпозиции
по: Бибило П. Н. Петр Николаевич
Опубликовано: (Минск, Наука и техника, 1987)
по: Бибило П. Н. Петр Николаевич
Опубликовано: (Минск, Наука и техника, 1987)
Дискретная математика для инженера
по: Кузнецов О. П.
Опубликовано: (Санкт-Петербург, Лань, 2022)
по: Кузнецов О. П.
Опубликовано: (Санкт-Петербург, Лань, 2022)
Математическая логика и теория алгоритмов учебное пособие
по: Неклюдова В. Л.
Опубликовано: (Новосибирск, СГУГиТ, 2022)
по: Неклюдова В. Л.
Опубликовано: (Новосибирск, СГУГиТ, 2022)
Методы и средства проектирования информационных систем. Технология AMP учебное пособие для студентов направлений 09.03.02, 09.04.02 «информационные системы и технологии»
по: Васильев Н. П.
Опубликовано: (Санкт-Петербург, СПбГЛТУ, 2014)
по: Васильев Н. П.
Опубликовано: (Санкт-Петербург, СПбГЛТУ, 2014)
Схожие документы
-
Разработка метода бинарной декомпозиции функциональных предикатов
по: Рудометкина М. Н.
Опубликовано: (2012) -
Разработка программного обеспечения иерархической модели процесса
по: Рудометкина М. Н. Моника Николаевна
Опубликовано: (2016) -
Численные методы декомпозиции в линейных задачах механики
по: Базилевич Ю. Н. Юрий Николаевич
Опубликовано: (Киев, Наукова думка, 1987) -
Математическая логика учебное пособие
по: Эдельман С. Л. Самсон Львович
Опубликовано: (Москва, Высшая школа, 1975) -
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
по: Леденева Т. М.
Опубликовано: (Воронеж, ВГУ, 2020)