{"id":"https://openalex.org/W7225823553","doi":"https://doi.org/10.5281/zenodo.24124619","title":"Schema Width Bounds the Benefit of Editable Keys for Plurality-Based Functional-Dependency Checks","display_name":"Schema Width Bounds the Benefit of Editable Keys for Plurality-Based Functional-Dependency Checks","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225823553","doi":"https://doi.org/10.5281/zenodo.24124619"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24124619","doi":"https://doi.org/10.5281/zenodo.24124619","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24124619","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161481375","display_name":"Vu Bao Minh Tran","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tran, Vu Bao Minh","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161481375"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.676800012588501,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.676800012588501,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11719","display_name":"Data Quality and Management","score":0.17329999804496765,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.022700000554323196,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.6833000183105469},{"id":"https://openalex.org/C117354338","wikidata":"https://www.wikidata.org/wiki/Q1165112","display_name":"Singleton","level":3,"score":0.5638999938964844},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5515000224113464},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5425000190734863},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.47369998693466187},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.450300008058548},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4496999979019165},{"id":"https://openalex.org/C141934464","wikidata":"https://www.wikidata.org/wiki/Q3305386","display_name":"Local optimum","level":2,"score":0.436599999666214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4147999882698059},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.41269999742507935},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.39579999446868896},{"id":"https://openalex.org/C136134351","wikidata":"https://www.wikidata.org/wiki/Q431937","display_name":"Antichain","level":3,"score":0.39480000734329224},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.3840999901294708},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3709000051021576},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36489999294281006},{"id":"https://openalex.org/C194051981","wikidata":"https://www.wikidata.org/wiki/Q1337691","display_name":"Economic shortage","level":3,"score":0.3422999978065491},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C2781039887","wikidata":"https://www.wikidata.org/wiki/Q1391724","display_name":"Factor (programming language)","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C2780551164","wikidata":"https://www.wikidata.org/wiki/Q2306599","display_name":"Column (typography)","level":3,"score":0.2815000116825104},{"id":"https://openalex.org/C134835016","wikidata":"https://www.wikidata.org/wiki/Q690265","display_name":"Lookup table","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26159998774528503}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24124619","doi":"https://doi.org/10.5281/zenodo.24124619","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24124620","doi":"https://doi.org/10.5281/zenodo.24124620","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124620","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24124619","doi":"https://doi.org/10.5281/zenodo.24124619","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24124619","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"plurality-based":[1],"functional-dependency":[2],"check":[3,37,240],"accepts":[4],"a":[5,23,39,63,78,87,109,149,169,205],"target's":[6],"dependent":[7,60,70,136,151],"value":[8],"when":[9,51],"it":[10,258],"is":[11,96,130,140],"the":[12,20,27,75,83,93,101,117,138,157,189,213,225,255],"unique":[13],"plurality":[14],"among":[15,82],"rows":[16],"that":[17,33,85,92,105,172],"agree":[18,120],"with":[19],"target":[21],"on":[22,121],"determinant.":[24],"We":[25,90],"study":[26],"minimum":[28],"number":[29],"of":[30,66,77,224,242],"context-cell":[31],"edits":[32],"makes":[34],"every":[35,106,122],"listed":[36,190],"accept":[38],"protected,":[40],"initially":[41],"rejected":[42,230],"target,":[43],"and":[44,104,126,153,196,236],"ask":[45],"how":[46],"much":[47],"cheaper":[48],"this":[49,114],"becomes":[50],"determinant":[52],"(key)":[53],"cells":[54],"may":[55],"change":[56],"as":[57,59],"well":[58],"cells.":[61],"For":[62,212],"family":[64,107],"F":[65,129],"determinants":[67,84,156],"sharing":[68],"one":[69,163,180],"attribute,":[71],"let":[72],"w(F)":[73,99],"be":[74],"size":[76],"largest":[79],"inclusion":[80,184],"antichain":[81],"contain":[86],"common":[88],"key.":[89],"prove":[91],"fixed-key":[94],"optimum":[95,145],"at":[97,133,143,161,178],"most":[98,162,179],"times":[100],"editable-key":[102,144],"optimum,":[103],"has":[108],"binary":[110,150],"table":[111,124],"attaining":[112],"exactly":[113],"factor.":[115],"Hence":[116],"two":[118,154],"optima":[119,158],"such":[123],"if":[125,128],"only":[127],"laminar.":[131],"With":[132],"least":[134],"k+1":[135],"values":[137],"factor":[139],"also":[141],"attained":[142],"k,":[146],"whereas":[147],"for":[148,209],"attribute":[152],"overlapping":[155],"differ":[159],"by":[160,177],"edit.":[164],"The":[165,186],"upper":[166],"bound":[167],"uses":[168],"margin-capped":[170],"exchange":[171],"replaces":[173],"each":[174],"key":[175],"edit":[176],"dependent-cell":[181],"flip":[182],"per":[183],"chain.":[185],"classification":[187],"concerns":[188],"checks,":[191],"not":[192,199,264],"logical":[193],"FD":[194],"equivalence,":[195],"laminarity":[197],"does":[198],"make":[200],"optimization":[201],"easy:":[202],"acceptance":[203],"within":[204],"budget":[206],"remains":[207],"NP-complete":[208],"singleton":[210],"determinants.":[211],"reverse":[214],"direction":[215],"we":[216],"give":[217],"an":[218],"exact":[219],"formula.":[220],"Exhaustive":[221],"finite":[222],"checks":[223],"main":[226],"theorems":[227],"cover":[228],"81,893":[229],"table/family":[231],"pairs.":[232],"On":[233],"Beers,":[234],"Flights":[235],"Rayyan,":[237],"all":[238],"nine":[239],"families":[241],"our":[243],"own":[244],"earlier":[245],"benchmark":[246],"experiment":[247],"are":[248],"laminar,":[249],"which":[250],"explains,":[251],"post":[252],"hoc,":[253],"why":[254],"accepting":[256],"gain":[257],"predicted":[259],"from":[260],"editable":[261],"keys":[262],"could":[263],"occur.":[265]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}