Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Штучний інтелект
Datum:	2015
Hauptverfasser:	Буй, Д.Б., Пузікова, А.В.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем штучного інтелекту МОН України та НАН України 2015
Schlagworte:	Теорія та засоби обчислювального інтелекту
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/117157
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:	Незалежність аксіоматики Армстронга та алгебра функціональних залежностей / Д.Б. Буй, А.В. Пузікова // Штучний інтелект. — 2015. — № 1-2. — С. 121-126. — Бібліогр.: 3 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

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

Про комбінаторні числа та симетрію в біології
von: Тимофієва, Н.К
Veröffentlicht: (2018)

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

7-значнi логіки та логіки загальних недетермінованих предикатів
von: Нікітченко, М.С., et al.
Veröffentlicht: (2018)

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

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

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

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
von: Тавров, Д.Ю., et al.
Veröffentlicht: (2015)

Алгоритми Машинного Навчання у контексті Великих Даних
von: Терещенко, В.М., et al.
Veröffentlicht: (2018)

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

Оптимальное управление нелинейным динамическим процессом с интеллектуальным прогнозированием его состояния
von: Корниенко, В.И., et al.
Veröffentlicht: (2015)

Алгоритм опису яружних цільових функцій
von: Трофимчук, О.М., et al.
Veröffentlicht: (2015)

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

Testing simple neuron models with dendrites for sparse binary image representation
von: Osaulenko, V.M.
Veröffentlicht: (2017)

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

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

Повнота секвенційних числень модальних логік немонотонних часткових предикатів
von: Шкільняк, О.С., et al.
Veröffentlicht: (2016)

Побудова найкращих чебишовських наближень сплайнами
von: Вакал, Л.П.
Veröffentlicht: (2017)

Механизм повышения эффективности сжатия данных
von: Буза, М.К.
Veröffentlicht: (2016)

Параллельное сложение на основе векторных операций
von: Терещенко, А.Н., et al.
Veröffentlicht: (2018)

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

Ідентифікація нелінійних статичних залежностей з динаміки электротехнічних систем
von: Зіменков, Д.К., et al.
Veröffentlicht: (2016)

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

Расширенная алгебра алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2007)

Часткова компенсація неповноти формальної аксіоматики при ідентифікації структури металу
von: Большаков, Вад.І., et al.
Veröffentlicht: (2014)

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

Українська незалежність як історична неминучість
von: Даниленко, В., et al.
Veröffentlicht: (2021)

Об’єктно-орієнтована БД Neodatis: розгортання, програмування запитів, порівняння з реляційними базами даних
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)

Рекурсивні запити в SQL-подібних мовах: приклади, змістова і формальна семантика
von: Буй, Д.Б., et al.
Veröffentlicht: (2010)

Задачи механики и компьютерная алгебра
von: Банщиков, А.В., et al.
Veröffentlicht: (2008)

Незалежність суддів та організаційні засади забезпечення їх діяльності
von: Хіміч, В.М.
Veröffentlicht: (2009)

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

Нелинейный анализ и гомологическая алгебра
von: Малюта, Ю.М.
Veröffentlicht: (2003)

Алгебра алгоритмов, базирующаяся на данных
von: Акуловский, В.Г.
Veröffentlicht: (2012)

Ідентифікація та відображення функціональних елементів FPA-методу в UML-моделі створюваної системи для оцінювання її економічних характеристик
von: Стрєлов, І.А., et al.
Veröffentlicht: (2005)

Глобалізація та вестернізація: взаємозв’язок, взаємозалежність, незалежність чи тотожність понять?
von: Лубська, В.В.
Veröffentlicht: (2010)

Физика высоких энергий и гомологическая алгебра
von: Малюта, Ю.M., et al.
Veröffentlicht: (2008)

Патерн Event sourcing та його застосування
von: Глибовець, А.М., et al.
Veröffentlicht: (2025)

Системи імовірнісних залежностей: графові та статистичні властивості
von: Балабанов, О.С.
Veröffentlicht: (2009)