An inference model for functional dependencies in database schemas

Abstract

In this article are analyzed several inference models of functional dependencies. Here are mentioned their advantages and disadvantages. A new model is proposed named maximal derivation which in essence is very close to the concept of closure of a set of attributes under a set of functional dependencies. This model has a theoretical and practical use. It can be implemented by an algorithm with a linear complexity relative to the number of attributes (considering duplicates) involved in the functional dependencies.

În articol sunt considerate unele modelele de derivare a dependenţelor funcţionale. Sunt menţionate avantajele şi dezavantajele aplicării acestora. Se propune un model, numit derivarea maximală, foarte aproape de noţiunea de închidere a unei mulţimi de atribute în raport cu o mulţime de dependenţe funcţionale. Acest model poartă un caracter atât teoretic, cât şi practic şi poate fi implementat de un algoritm cu complexitate lineară în raport cu numărul de atribute (inclusiv repetate) antrenate în dependenţele funcţionale.

Dans l'article sont analysées quelques modèles d’inférence des dépendances fonctionnelles. On mention les avantages et les désavantages de leur utilisation. En effet on propose un modèle nommé La dérivation maximale qui est très approche de la notion «fermeture d’une ensemble des attributs par rapport d’une ensemble des dépendances fonctionnelles». C’est un modèle théorique et pratique qui peut-être mit en œuvre par un algorithme d’une complexité linéaire en fonction du nombre d'attributs (inclusivement répétés) impliquées dans les dépendances fonctionnelles.

В статье рассмотрены некоторые модели вывода для функциональных зависимостей. Отмечены преимущества и недостатки их применения. Предлагается модель, названная максимальной деривацией, близкая к понятию замыкания множества атрибутов относительно некоторого множества функциональных зависимостей. Эта модель носит как теоретический, так и практический характер, и может быть реализована алгоритмом линейной сложности относительно числа атрибутов (включая повторения), участвующих в функциональных зависимостей.