Strongly possible functional dependencies for SQL

Missing data is a large-scale challenge to research and investigate. It reduces the statistical power and produces negative consequences that may introduce selection bias on the data. Many approaches to handle this problem have been introduced. The main approaches suggested are either missing values...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Al-Atar Munqath
Sali Attila
Testületi szerző: Conference of PhD Students in Computer Science (12.) (2020) (Szeged)
Dokumentumtípus: Cikk
Megjelent: University of Szeged, Institute of Informatics Szeged 2022
Sorozat:Acta cybernetica 25 No. 3
Kulcsszavak:Programozási nyelv - SQL, Adatbázis-kezelés, Adatbázis - relációs
Tárgyszavak:
doi:10.14232/actacyb.287523

Online Access:http://acta.bibl.u-szeged.hu/75628
LEADER 02798nab a2200253 i 4500
001 acta75628
005 20220513095012.0
008 220513s2022 hu o 0|| eng d
022 |a 0324-721X 
024 7 |a 10.14232/actacyb.287523  |2 doi 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 2 |a Al-Atar Munqath 
245 1 0 |a Strongly possible functional dependencies for SQL  |h [elektronikus dokumentum] /  |c  Al-Atar Munqath 
260 |a University of Szeged, Institute of Informatics  |b Szeged  |c 2022 
300 |a 647-675 
490 0 |a Acta cybernetica  |v 25 No. 3 
520 3 |a Missing data is a large-scale challenge to research and investigate. It reduces the statistical power and produces negative consequences that may introduce selection bias on the data. Many approaches to handle this problem have been introduced. The main approaches suggested are either missing values to be ignored (removed) or imputed (filled in) with new values. This paper uses the second method. Possible worlds and possible and certain keys were introduced in Köhler et.al., and by Levene et.al. Köhler and Link introduced certain functional dependencies (c-FD) as a natural complement to Lien's class of possible functional dependencies (p-FD). Weak and strong functional dependencies were studied by Levene and Loizou. We introduced the intermediate concept of strongly possible worlds that are obtained by imputing values already existing in the table in a preceding paper. This results in strongly possible keys (spKey's) and strongly possible functional dependencies (spFD's). We give a polynomial algorithm to verify a single spKey and show that in general, it is NP-complete to verify an arbitrary collection of spKeys. We give a graph-theoretical characterization of the validity of a given spFD X →sp Y. We show, that the complexity to verify a single strongly possible functional dependency is NP-complete in general, then we introduce some cases when verifying a single spFD can be done in polynomial time. As a step forward axiomatization of spFD's, the rules given for weak and strong functional dependencies are checked. Appropriate weakenings of those that are not sound for spFD's are listed. The interaction between spFD's and spKey's and certain keys is studied. Furthermore, a graph theoretical characterization of implication between singular attribute spFD's is given. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Programozási nyelv - SQL, Adatbázis-kezelés, Adatbázis - relációs 
700 0 1 |a Sali Attila  |e aut 
710 |a Conference of PhD Students in Computer Science (12.) (2020) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/75628/1/cybernetica_025_numb_003_647-675.pdf  |z Dokumentum-elérés