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

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей

Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга. We establish the independence of the Armstrong’s axiomatic s...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Секвенційні числення логік безкванторно-функціональних рівнів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)

Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
за авторством: Анісімов, А.В., та інші
Опубліковано: (2018)

Знакові комбінаторні простори та штучний інтелект
за авторством: Тимофієва, Н.К.
Опубліковано: (2015)

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

Про природу скінченних та нескінченних комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

Про комбінаторні числа та симетрію в біології
за авторством: Тимофієва, Н.К
Опубліковано: (2018)

7-значнi логіки та логіки загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

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

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

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

Інтелектуальна система для дослідження та розв’язування задач на власні значення на паралельних комп’ютерах з процесорами Intel Xeon Phi
за авторством: Хіміч, О.М., та інші
Опубліковано: (2017)

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
за авторством: Тавров, Д.Ю., та інші
Опубліковано: (2015)

Алгоритми Машинного Навчання у контексті Великих Даних
за авторством: Терещенко, В.М., та інші
Опубліковано: (2018)

Забезпечення групової анонімності як складова CSID-процесу обробки даних
за авторством: Чертов, О.Р., та інші
Опубліковано: (2017)

Тюнинговая программная система для решения линейных систем на гибридных компьютерах
за авторством: Химич, А.Н., та інші
Опубліковано: (2016)

Синтез оптимальної структури глибокої нейронної мережі
за авторством: Коваль, Д.Ю., та інші
Опубліковано: (2016)

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

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

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

Зменшення накладних видатків реконфігурації в реконфігурованих обчислювальних системах
за авторством: Луцький, Г.М., та інші
Опубліковано: (2015)

Параллельное сложение на основе векторных операций
за авторством: Терещенко, А.Н., та інші
Опубліковано: (2018)

Механизм повышения эффективности сжатия данных
за авторством: Буза, М.К.
Опубліковано: (2016)

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

Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
за авторством: Терещенко, А.М., та інші
Опубліковано: (2016)

Модель імуносенсора на основі решітчастих диференціальних рівнянь із запізненням
за авторством: Марценюк, В.П., та інші
Опубліковано: (2018)

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

Метод визначення коефіцієнта масштабування недіадного вейвлет-перетворення на основі частотного спектру
за авторством: Чертов, О.Р., та інші
Опубліковано: (2016)

Testing simple neuron models with dendrites for sparse binary image representation
за авторством: Osaulenko, V.M.
Опубліковано: (2017)

Программно-аппаратная поддержка ускорения вычислений
за авторством: Буза, М.К.
Опубліковано: (2018)

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

On reliability modeling and evaluating in cloud services system
за авторством: Telenyk, S.F., та інші
Опубліковано: (2018)

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

Ін’єкція функціональних залежностей у контейнері інверсії керування
за авторством: Глибовець, М.М.
Опубліковано: (2014)

Незалежність судової влади
за авторством: Крижанівський, В.В.
Опубліковано: (2010)

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

Ідентифікація нелінійних статичних залежностей з динаміки электротехнічних систем
за авторством: Зіменков, Д.К., та інші
Опубліковано: (2016)

Квазі-лінеарність у дискретних моделях залежностей та відкриття латентного фактору трьох ефектів
за авторством: Балабанов, О.С.
Опубліковано: (2006)

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

Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2014)

Про неповноту формальної аксіоматики в задачах ідентифікації структури металу
за авторством: Большаков, Вад.І., та інші
Опубліковано: (2014)