{"id":"https://openalex.org/W2997825426","doi":"https://doi.org/10.1145/3375395.3387664","title":"The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries","display_name":"The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries","publication_year":2020,"publication_date":"2020-05-29","ids":{"openalex":"https://openalex.org/W2997825426","doi":"https://doi.org/10.1145/3375395.3387664","mag":"2997825426"},"language":"en","primary_location":{"id":"doi:10.1145/3375395.3387664","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1912.12610","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057672584","display_name":"Alon Reshef","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Alon Reshef","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel","Technion\u2014Israel Institute of Technology, Haifa,  Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Haifa,  Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006706357","display_name":"Benny Kimelfeld","orcid":"https://orcid.org/0000-0002-7156-1572"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Benny Kimelfeld","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel","Technion\u2014Israel Institute of Technology, Haifa,  Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Haifa,  Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076186858","display_name":"Ester Livshits","orcid":"https://orcid.org/0000-0003-3485-9887"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ester Livshits","raw_affiliation_strings":["Technion - Israel Institute of Technology, Haifa, Israel","Technion\u2014Israel Institute of Technology, Haifa,  Israel"],"affiliations":[{"raw_affiliation_string":"Technion - Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Haifa,  Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057672584"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":1.2216,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88050614,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"285","last_page":"297"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9975000023841858,"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/conjunctive-query","display_name":"Conjunctive query","score":0.7470483183860779},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.7104884386062622},{"id":"https://openalex.org/keywords/shapley-value","display_name":"Shapley value","score":0.6992161273956299},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6786945462226868},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.5940524935722351},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5411509871482849},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.49392086267471313},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.46274736523628235},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44772791862487793},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4467671811580658},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4310761094093323},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4182998239994049},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4137139916419983},{"id":"https://openalex.org/keywords/aggregate","display_name":"Aggregate (composite)","score":0.41003286838531494},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3984834849834442},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.35692352056503296},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.321114182472229},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.31302815675735474},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.23023605346679688},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.210322767496109},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.1068609356880188},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.09568876028060913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08835077285766602}],"concepts":[{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7470483183860779},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.7104884386062622},{"id":"https://openalex.org/C199022921","wikidata":"https://www.wikidata.org/wiki/Q240046","display_name":"Shapley value","level":3,"score":0.6992161273956299},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6786945462226868},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.5940524935722351},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5411509871482849},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.49392086267471313},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.46274736523628235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44772791862487793},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4467671811580658},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4310761094093323},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4182998239994049},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4137139916419983},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.41003286838531494},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3984834849834442},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.35692352056503296},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.321114182472229},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31302815675735474},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.23023605346679688},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.210322767496109},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.1068609356880188},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.09568876028060913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08835077285766602},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3375395.3387664","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3375395.3387664","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1912.12610","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.12610","pdf_url":"https://arxiv.org/pdf/1912.12610","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2997825426","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1912.12610","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1912.12610","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.12610","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.12610","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.12610","pdf_url":"https://arxiv.org/pdf/1912.12610","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1247588296","display_name":null,"funder_award_id":"412400621","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7708584454","display_name":null,"funder_award_id":"1295/15, 768/19","funder_id":"https://openalex.org/F4320320950","funder_display_name":"United States-Israel Binational Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320950","display_name":"United States-Israel Binational Science Foundation","ror":"https://ror.org/00j8z2m73"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2997825426.pdf","grobid_xml":"https://content.openalex.org/works/W2997825426.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W1534277359","https://openalex.org/W1562353621","https://openalex.org/W1570429932","https://openalex.org/W1593793857","https://openalex.org/W1945638812","https://openalex.org/W1968041356","https://openalex.org/W1973288761","https://openalex.org/W1974536974","https://openalex.org/W1976151205","https://openalex.org/W1978544932","https://openalex.org/W1979472512","https://openalex.org/W1983022219","https://openalex.org/W1984407615","https://openalex.org/W1985733932","https://openalex.org/W1991477862","https://openalex.org/W2007940874","https://openalex.org/W2010030994","https://openalex.org/W2011087880","https://openalex.org/W2023952346","https://openalex.org/W2033325972","https://openalex.org/W2037106315","https://openalex.org/W2047498140","https://openalex.org/W2059372025","https://openalex.org/W2065023965","https://openalex.org/W2065851162","https://openalex.org/W2075784261","https://openalex.org/W2078686663","https://openalex.org/W2079785597","https://openalex.org/W2088175080","https://openalex.org/W2089941644","https://openalex.org/W2093149131","https://openalex.org/W2100657934","https://openalex.org/W2103012681","https://openalex.org/W2124026371","https://openalex.org/W2127839771","https://openalex.org/W2165474761","https://openalex.org/W2165605193","https://openalex.org/W2166566648","https://openalex.org/W2284810639","https://openalex.org/W2399695036","https://openalex.org/W2612955371","https://openalex.org/W2624220145","https://openalex.org/W2808381567","https://openalex.org/W2912030711","https://openalex.org/W2962862931","https://openalex.org/W2963065643","https://openalex.org/W2963239539","https://openalex.org/W2969596361","https://openalex.org/W3014022647","https://openalex.org/W3022709368","https://openalex.org/W4254380579"],"related_works":["https://openalex.org/W3032533205","https://openalex.org/W2413876084","https://openalex.org/W2752966494","https://openalex.org/W2907255177","https://openalex.org/W2127795772","https://openalex.org/W2949480760","https://openalex.org/W2604165918","https://openalex.org/W2165864074","https://openalex.org/W1754725800","https://openalex.org/W2965645196","https://openalex.org/W3170665465","https://openalex.org/W2953951489","https://openalex.org/W2026745535","https://openalex.org/W2401514316","https://openalex.org/W3166830313","https://openalex.org/W2120436863","https://openalex.org/W2474443534","https://openalex.org/W2950314640","https://openalex.org/W2963195244","https://openalex.org/W2790840297"],"abstract_inverted_index":{"The":[0],"Shapley":[1,39,120],"value":[2,40],"is":[3,165],"a":[4,14,20,27,46,52,59,84,131,155,163,168],"conventional":[5],"and":[6,73,126,170],"well-studied":[7],"function":[8],"for":[9,41,66,90,136],"determining":[10],"the":[11,17,38,43,49,63,67,103,112,117,124,146,158],"contribution":[12,44],"of":[13,29,45,51,62,69,93,97,105,114,119,148,160],"player":[15],"to":[16,36,48,134,157,167],"coalition":[18],"in":[19,26,122],"cooperative":[21],"game.":[22],"Among":[23],"its":[24,173],"applications":[25],"plethora":[28],"domains,":[30],"it":[31],"has":[32,79],"recently":[33],"been":[34,81],"proposed":[35],"use":[37],"quantifying":[42],"tuple":[47,164],"result":[50],"database":[53],"query.":[54],"In":[55,107],"particular,":[56],"we":[57,110],"have":[58],"thorough":[60],"understanding":[61],"tractability":[64],"frontier":[65],"class":[68],"Conjunctive":[70],"Queries":[71],"(CQs)":[72],"aggregate":[74],"functions":[75],"over":[76],"CQs.":[77,94,106],"It":[78],"also":[80,140],"established":[82],"that":[83,142],"tractable":[85],"(randomized)":[86],"multiplicative":[87],"approximation":[88],"exists":[89],"every":[91],"union":[92],"Nevertheless,":[95],"all":[96],"these":[98],"results":[99],"are":[100],"based":[101],"on":[102,116],"monotonicity":[104],"this":[108],"work,":[109],"investigate":[111],"implication":[113],"negation":[115,143],"complexity":[118,147],"computation,":[121],"both":[123],"exact":[125],"approximate":[127],"senses.":[128],"We":[129,139,150],"generalize":[130],"known":[132],"dichotomy":[133],"account":[135],"negated":[137],"atoms.":[138],"show":[141],"fundamentally":[144],"changes":[145],"approximation.":[149],"do":[151],"so":[152],"by":[153,171],"drawing":[154],"connection":[156],"problem":[159],"deciding":[161],"whether":[162],"\"relevant\"":[166],"query,":[169],"analyzing":[172],"complexity.":[174]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}