Зображення обкладинки

Аксiоматика багатозначних залежностей табличних баз даних

Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2015
Автори:	Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2015
Теми:	Інформатика та кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/96787
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)

Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень
за авторством: Богатирьова, Ю.О., та інші
Опубліковано: (2011)

Високоефективнi класи алгоритмiв та високопродуктивних систем, що реалiзують синхроннi iнтерактивнi мережi систолiчними матрицями опрацювання даних
за авторством: Грицик, В.В., та інші
Опубліковано: (2015)

Методи паралельно-вертикального опрацювання даних у нейромережах
за авторством: Грицик, В.В., та інші
Опубліковано: (2014)

Інтерполяція геоінформаційних даних з використанням методу функцій Гріна
за авторством: Богаєнко, В.О., та інші
Опубліковано: (2012)

Оцінка якості передавання і комп'ютерна обробка даних образів
за авторством: Грицик, В.В.
Опубліковано: (2008)

Інформаційна технологія обробки даних електрокардіограм для знаходження R-піків
за авторством: Крак, Ю.В., та інші
Опубліковано: (2024)

Опис алгоритмів паралельно-рекурсивної обробки даних в системах реального часу
за авторством: Грицик, В.В.
Опубліковано: (2009)

Технологія збільшення роздільної здатності мігрованих сейсмічних даних на основі використання нейронних мереж
за авторством: Носков, О.В.
Опубліковано: (2024)

До відкриття латентного бінарного фактора в статистичних даних категорного типу
за авторством: Андон, П.І., та інші
Опубліковано: (2008)

Математичнi моделi алгоритмiв i реалiзацiя Ateb-функцiй
за авторством: Грицик, В.В., та інші
Опубліковано: (2007)

Асимптотичні властивості Σ-класифікатора для багатокласових задач розпізнавання з нееліптичним розподілом даних
за авторством: Галкін, О.А.
Опубліковано: (2016)

Операційна аналітика як інструмент моніторингу даних та управління подіями систем забезпечення кібербезпеки
за авторством: Качинський, А.Б., та інші
Опубліковано: (2021)

Аналiз обчислювальних можливостей iнтерлiнацiйного методу скiнченних елементiв розв’язання нестацiонарної задачi теплопровiдностi
за авторством: Сергiєнко, I.В., та інші
Опубліковано: (2014)

Iнтерлiнацiя функцiй трьох змiнних на системi неперетинних кривих iз збереженням класу диференцiйовностi
за авторством: Сергiєнко, I.В., та інші
Опубліковано: (2015)

Псевдоiнверсний пiдхiд до розв’язання одного класу нелiнiйних алгебраїчних рiвнянь
за авторством: Стоян, В.В.
Опубліковано: (2008)

Про середньоквадратичне обернення однiєї диференцiальної моделi нелiнiйного просторово-часового процесу з дискретно визначеними збурюючими факторами
за авторством: Стоян, В.В.
Опубліковано: (2008)

Слабкi розв’язки i збiжнiсть методу Гальоркiна для дробового рiвняння дифузiї
за авторством: Гуляницький, А.Л.
Опубліковано: (2015)

Полiномiальнi алгоритми розв’язування деяких задач побудови розкладiв приладу для заявок з очiкуванням
за авторством: Ємець, О.О., та інші
Опубліковано: (2016)

Математичне моделювання внутрiшньої структури 3D тiла на основi трьох рентгенiвських знiмкiв у трьох взаємоперпендикулярних ракурсах
за авторством: Сергiєнко, I.В., та інші
Опубліковано: (2008)

Математичне моделювання внутрiшньої структури 3D тiла на основi двох рентгенiвських знiмкiв у двох взаємно перпендикулярних ракурсах
за авторством: Сергiєнко, I.В., та інші
Опубліковано: (2008)

Про iснування парето-оптимальних розв’язкiв задачi векторної оптимiзацiї з необмеженою допустимою областю
за авторством: Сергiєнко, Т.I.
Опубліковано: (2015)

Застосування циклiчних систем обслуговування
за авторством: Серебрякова, С.В.
Опубліковано: (2016)

Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2017)

Побудова процесу типу Левi за допомогою методу параметриксу
за авторством: Кнопова, В.П., та інші
Опубліковано: (2016)

Оптимальне керування динамiчною системою другого порядку
за авторством: Копець, М.М.
Опубліковано: (2015)

Виявлення залежностей даних
за авторством: Пшеничний, О.Ю.
Опубліковано: (2012)

О степенной модели прогнозирования надежности стареющих систем
за авторством: Ярошенко, В.Н.
Опубліковано: (2011)

Об оценивании функционалов от решения линеаризованной задачи Навье-Стокса по неполным данным
за авторством: Головач, В.Н., та інші
Опубліковано: (2007)

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
за авторством: Буй, Д.Б., та інші
Опубліковано: (2015)

Метод обробки складних зображень та їх розпізнавання
за авторством: Грицик, В.В.
Опубліковано: (2011)

Типовість розв'язності деяких задач оптимального керування
за авторством: Семенов, В.В.
Опубліковано: (2008)

Обробка складних зображень та їх розпізнавання в інформаційно-аналітичних системах комп'ютерного зору
за авторством: Грицик, В.В.
Опубліковано: (2009)

Сходимость инерционных гибридных алгоритмов расщепления
за авторством: Семёнов, В.В.
Опубліковано: (2018)

Моделювання впливу міжбюджетних трансфертів України на фінансування соціальної інфраструктури
за авторством: Семенов, В.В.
Опубліковано: (2013)

Дворівнева оптимізація розподілу міжбюджетних трансфертів при заданих обмеженнях
за авторством: Семенов, В.В.
Опубліковано: (2019)

Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
за авторством: Скобелев, В.В.
Опубліковано: (2007)

Об одной принципиальной схеме вычисления обобщенной проекции
за авторством: Семенов, В.В.
Опубліковано: (2013)

О гомоморфизмах автоматов на многообразиях над кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2013)

Анализ некоторых отображений множеств в дедекиндовы кольца
за авторством: Скобелев, В.В.
Опубліковано: (2011)