Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Доповіді НАН України
Datum:	2015
Hauptverfasser:	Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2015
Schlagworte:	Інформатика та кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/96787
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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