Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Published in:	Доповіді НАН України
Date:	2015
Main Authors:	Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Format:	Article
Language:	Ukrainian
Published:	Видавничий дім "Академперіодика" НАН України 2015
Subjects:	Інформатика та кібернетика
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/96787
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014)

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

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

Методи паралельно-вертикального опрацювання даних у нейромережах
by: Грицик, В.В., et al.
Published: (2014)

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

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

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

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

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

До відкриття латентного бінарного фактора в статистичних даних категорного типу
by: Андон, П.І., et al.
Published: (2008)

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

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

Математичнi моделi алгоритмiв i реалiзацiя Ateb-функцiй
by: Грицик, В.В., et al.
Published: (2007)

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

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

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

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

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

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

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

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

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

Виявлення залежностей даних
by: Пшеничний, О.Ю.
Published: (2012)

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

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

Побудова процесу типу Левi за допомогою методу параметриксу
by: Кнопова, В.П., et al.
Published: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

Анализ задачи распознавания автомата над кольцом
by: Скобелев, В.В.
Published: (2012)