{"id":"https://openalex.org/W4281391452","doi":"https://doi.org/10.1145/3530800.3534538","title":"Worst-case analysis for interactive evaluation of Boolean provenance","display_name":"Worst-case analysis for interactive evaluation of Boolean provenance","publication_year":2022,"publication_date":"2022-05-23","ids":{"openalex":"https://openalex.org/W4281391452","doi":"https://doi.org/10.1145/3530800.3534538"},"language":"en","primary_location":{"id":"doi:10.1145/3530800.3534538","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3530800.3534538","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Workshop on the Theory and Practice of Provenance","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003960537","display_name":"Antoine Amarilli","orcid":"https://orcid.org/0000-0002-7977-4441"},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Antoine Amarilli","raw_affiliation_strings":["Institut Polytechnique de Paris, France","D\u00e9partement Informatique et R\u00e9seaux","Data, Intelligence and Graphs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut Polytechnique de Paris, France","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"D\u00e9partement Informatique et R\u00e9seaux","institution_ids":[]},{"raw_affiliation_string":"Data, Intelligence and Graphs","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021101350","display_name":"Yael Amsterdamer","orcid":"https://orcid.org/0000-0001-8032-9962"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yael Amsterdamer","raw_affiliation_strings":["Bar-Ilan University, Israel","Bar-Ilan University [Isra\u00ebl]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bar-Ilan University, Israel","institution_ids":["https://openalex.org/I13955877"]},{"raw_affiliation_string":"Bar-Ilan University [Isra\u00ebl]","institution_ids":["https://openalex.org/I13955877"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"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":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10799","display_name":"Data Visualization and Analytics","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/boolean-expression","display_name":"Boolean expression","score":0.7798916101455688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6862331032752991},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.568897008895874},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.5669867396354675},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.5615630149841309},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5175649523735046},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.5107192993164062},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.47966650128364563},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.4610065817832947},{"id":"https://openalex.org/keywords/boolean-data-type","display_name":"Boolean data type","score":0.4320620000362396},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.42579829692840576},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.36793383955955505},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2907697856426239},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.19566237926483154},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12571707367897034}],"concepts":[{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.7798916101455688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6862331032752991},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.568897008895874},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.5669867396354675},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.5615630149841309},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5175649523735046},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.5107192993164062},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.47966650128364563},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.4610065817832947},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.4320620000362396},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.42579829692840576},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36793383955955505},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2907697856426239},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.19566237926483154},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12571707367897034},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3530800.3534538","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3530800.3534538","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Workshop on the Theory and Practice of Provenance","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8399999737739563,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3176778049","display_name":"Complex ontological Queries over Federated and heterogenous Data","funder_award_id":"ANR-18-CE23-0003","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4032234667","display_name":"Efficient Query answering Under UpdateS","funder_award_id":"ANR-19-CE48-0019","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G4063735674","display_name":null,"funder_award_id":"2015/21","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1527986773","https://openalex.org/W1551839888","https://openalex.org/W1753077474","https://openalex.org/W1977810318","https://openalex.org/W1990391007","https://openalex.org/W2023076960","https://openalex.org/W2024979825","https://openalex.org/W2026501144","https://openalex.org/W2031264603","https://openalex.org/W2053503869","https://openalex.org/W2071863116","https://openalex.org/W2078686663","https://openalex.org/W2101620066","https://openalex.org/W2110896443","https://openalex.org/W2113123266","https://openalex.org/W2119325664","https://openalex.org/W2123304966","https://openalex.org/W2124647958","https://openalex.org/W2128028322","https://openalex.org/W2133986470","https://openalex.org/W2143102052","https://openalex.org/W2148007971","https://openalex.org/W2157547070","https://openalex.org/W2164743697","https://openalex.org/W2165766811","https://openalex.org/W2166214052","https://openalex.org/W2168144930","https://openalex.org/W2293299776","https://openalex.org/W2739264497","https://openalex.org/W2794499406","https://openalex.org/W2889357608","https://openalex.org/W2889523940","https://openalex.org/W2949566973","https://openalex.org/W2951161395","https://openalex.org/W3175492679","https://openalex.org/W6684386430","https://openalex.org/W6685467388","https://openalex.org/W6697405692"],"related_works":["https://openalex.org/W2169480305","https://openalex.org/W2465495808","https://openalex.org/W2131164334","https://openalex.org/W3141532631","https://openalex.org/W1997660011","https://openalex.org/W1967292023","https://openalex.org/W2014833376","https://openalex.org/W1861936009","https://openalex.org/W3083297912","https://openalex.org/W1956176484"],"abstract_inverted_index":{"In":[0,26],"recent":[1],"work,":[2],"we":[3],"have":[4],"introduced":[5],"a":[6,39,88,97],"framework":[7],"for":[8,101],"fine-grained":[9],"consent":[10],"management":[11],"in":[12],"databases,":[13],"which":[14],"combines":[15],"Boolean":[16,24,29,40,59,111],"data":[17],"provenance":[18,60],"with":[19,85],"the":[20,34,45,58,64,77,102,106],"field":[21],"of":[22,38,48,54,80,110],"interactive":[23,28],"evaluation.":[25],"turn,":[27],"evaluation":[30],"aims":[31],"at":[32],"unveiling":[33],"underlying":[35],"truth":[36,46],"value":[37],"expression":[41],"by":[42,105],"frugally":[43],"probing":[44],"values":[47],"individual":[49],"values.":[50],"The":[51],"required":[52],"number":[53,79],"probes":[55],"depends":[56],"on":[57,63],"structure":[61],"and":[62,73],"(a-priori":[65],"unknown)":[66],"probe":[67,92],"answers.":[68,93],"Prior":[69],"work":[70],"has":[71],"analyzed":[72],"aimed":[74],"to":[75,87],"optimize":[76],"expected":[78],"probes,":[81],"where":[82],"expectancy":[83],"is":[84],"respect":[86],"probability":[89],"distribution":[90],"over":[91],"This":[94],"paper":[95],"gives":[96],"novel":[98],"worst-case":[99],"analysis":[100],"problem,":[103],"inspired":[104],"decision":[107],"tree":[108],"depth":[109],"functions.":[112]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}