{"id":"https://openalex.org/W2401555808","doi":"https://doi.org/10.14232/actacyb.20.2.2011.5","title":"Weak Functional Dependencies on Trees with Restructuring","display_name":"Weak Functional Dependencies on Trees with Restructuring","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2401555808","doi":"https://doi.org/10.14232/actacyb.20.2.2011.5","mag":"2401555808"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.20.2.2011.5","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3815/3799","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3815/3799","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012184705","display_name":"Attila Sali","orcid":"https://orcid.org/0000-0002-4837-6360"},"institutions":[{"id":"https://openalex.org/I127817813","display_name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics","ror":"https://ror.org/03vw74f64","country_code":"HU","type":"facility","lineage":["https://openalex.org/I127817813","https://openalex.org/I7597260"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Attila Sali","raw_affiliation_strings":["Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Budapest, P.O.B.127, H-1364 Hungary,"],"affiliations":[{"raw_affiliation_string":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Budapest, P.O.B.127, H-1364 Hungary,","institution_ids":["https://openalex.org/I127817813"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000905974","display_name":"Klaus\u2010Dieter Schewe","orcid":"https://orcid.org/0000-0002-8309-1803"},"institutions":[{"id":"https://openalex.org/I4210126338","display_name":"Software Competence Center Hagenberg (Austria)","ror":"https://ror.org/02ks3nr96","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210126338"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Klaus-Dieter Schewe","raw_affiliation_strings":["Software Competence Center Hagenberg, Hagenberg, Austria and Johannes-Kepler-University Linz, Research Institute for Applied Knowledge Processing, Linz, Austria,"],"affiliations":[{"raw_affiliation_string":"Software Competence Center Hagenberg, Hagenberg, Austria and Johannes-Kepler-University Linz, Research Institute for Applied Knowledge Processing, Linz, Austria,","institution_ids":["https://openalex.org/I4210126338"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":65},"biblio":{"volume":"20","issue":"2","first_page":"285","last_page":"329"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9979,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/disjoint-union","display_name":"Disjoint union (topology)","score":0.73877674},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.59558904}],"concepts":[{"id":"https://openalex.org/C26320393","wikidata":"https://www.wikidata.org/wiki/Q597053","display_name":"Functional dependency","level":3,"score":0.8049759},{"id":"https://openalex.org/C7655956","wikidata":"https://www.wikidata.org/wiki/Q5282259","display_name":"Disjoint union (topology)","level":2,"score":0.73877674},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.59558904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.57421595},{"id":"https://openalex.org/C40683218","wikidata":"https://www.wikidata.org/wiki/Q5260625","display_name":"Dependency theory (database theory)","level":4,"score":0.52377576},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5129323},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41668212},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41338027},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37274042},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35685346},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28341576},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2557116},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.15871859},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.20.2.2011.5","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3815/3799","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.14232/actacyb.20.2.2011.5","pdf_url":"https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/download/3815/3799","source":{"id":"https://openalex.org/S5962179","display_name":"Acta Cybernetica","issn_l":"0324-721X","issn":["0324-721X","2676-993X"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315420","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/P4310315420"],"host_organization_lineage_names":["University of Szeged"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W115595067","https://openalex.org/W1491485151","https://openalex.org/W1507391885","https://openalex.org/W1511539374","https://openalex.org/W1526843800","https://openalex.org/W1532080796","https://openalex.org/W1535627680","https://openalex.org/W1558791827","https://openalex.org/W1571066703","https://openalex.org/W1582870114","https://openalex.org/W1585806150","https://openalex.org/W1608300397","https://openalex.org/W1721778388","https://openalex.org/W1833765956","https://openalex.org/W1837772207","https://openalex.org/W1886140915","https://openalex.org/W1887159863","https://openalex.org/W1971206510","https://openalex.org/W1982169430","https://openalex.org/W1983304353","https://openalex.org/W1988902465","https://openalex.org/W1989814238","https://openalex.org/W2028705450","https://openalex.org/W2038649299","https://openalex.org/W2041601261","https://openalex.org/W2047405687","https://openalex.org/W2054505740","https://openalex.org/W2056859949","https://openalex.org/W2057852703","https://openalex.org/W2060849841","https://openalex.org/W2063391368","https://openalex.org/W2083909202","https://openalex.org/W2092382494","https://openalex.org/W2129785089","https://openalex.org/W2140037779","https://openalex.org/W2140667122","https://openalex.org/W2142421097","https://openalex.org/W4206031975","https://openalex.org/W4229492659","https://openalex.org/W43035074","https://openalex.org/W44692968"],"related_works":["https://openalex.org/W2401555808","https://openalex.org/W2177745035","https://openalex.org/W2125223317","https://openalex.org/W2111203646","https://openalex.org/W2072918301","https://openalex.org/W2039445786","https://openalex.org/W1968137129","https://openalex.org/W1593881241","https://openalex.org/W158126298","https://openalex.org/W1512401680"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"axiomatisation":[3,142],"for":[4,19,97,128,143],"weak":[5,60],"functional":[6,11,61,133,144],"dependencies,":[7,12,134],"i.e.":[8,34],"disjunctions":[9],"of":[10,16,46,68,75,123,131],"in":[13,136],"the":[14,35,44,73,82,101,113,116,117,124,129,137],"presence":[15],"several":[17],"constructors":[18,24,42],"complex":[20,36,48],"values.":[21],"The":[22,41,95],"investigated":[23],"capture":[25],"records,":[26],"sets,":[27],"multisets,":[28],"lists,":[29],"disjoint":[30],"union":[31],"and":[32,56,59,92],"optionality,":[33],"values":[37],"are":[38,63],"indeed":[39],"trees.":[40],"cover":[43],"gist":[45],"all":[47,90],"value":[49],"data":[50],"models":[51],"including":[52],"object":[53],"oriented":[54],"databases":[55],"XML.":[57],"Functional":[58],"dependencies":[62,145],"expressed":[64],"on":[65],"a":[66,76,121],"lattice":[67],"subattributes,":[69],"which":[70],"even":[71],"carries":[72],"structure":[74],"Brouwer":[77],"algebra":[78],"as":[79,81],"long":[80],"union-constructor":[83,102,118],"is":[84,99,119,126],"absent.":[85],"Its":[86],"presence,":[87],"however,":[88],"complicates":[89],"results":[91],"proofs":[93],"significantly.":[94],"reason":[96],"this":[98],"that":[100],"causes":[103],"non-trivial":[104],"restructuring":[105],"rules":[106,125],"to":[107],"hold.":[108],"In":[109],"particular,":[110],"if":[111],"either":[112],"set-":[114],"or":[115],"absent,":[120],"subset":[122],"complete":[127],"implication":[130],"ordinary":[132],"while":[135],"general":[138],"case":[139],"no":[140],"finite":[141],"exists.":[146]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2401555808","counts_by_year":[],"updated_date":"2024-12-07T21:40:12.386966","created_date":"2016-06-24"}