On Armstrong relations for strong dependencies

Thi Vu Duc; Nguyen Hoang Son: On Armstrong relations for strong dependencies. In: Acta cybernetica, (17) 3. pp. 521-531. (2006)

Előnézet

Cikk, tanulmány, mű Thi_2006_ActaCybernetica.pdf Letöltés (119kB) | Előnézet

Absztrakt (kivonat)

The strong dependency has been introduced and axiomatized in [2], [3], [4], [5]. The aim of this paper is to investigate on Armstrong relations for strong dependencies. We give a necessary and sufficient condition for an abitrary relation to be Armstrong relation of a given strong scheme. We also give an effective algorithm finding a relation r such that r is Armstrong relation of a given strong scheme G = (U,S) (i.e. Sr = S+, where Sr is a full family of strong dependencies of r, and S+ is a set of all strong dependencies that can be derived from S by the system of axioms). We estimate this algorithm. We show that the time complexity of this algorithm is polynomial in |U| and |S|.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2006
Kötet:	17
Szám:	3
ISSN:	0324-721X
Oldalak:	pp. 521-531
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38521/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: 531. p. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 16. 10:29
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12780

Bővebben:

Tétel nézet