{"id":"https://openalex.org/W2949033485","doi":"https://doi.org/10.1145/3299869.3300084","title":"Hypothetical Reasoning via Provenance Abstraction","display_name":"Hypothetical Reasoning via Provenance Abstraction","publication_year":2019,"publication_date":"2019-06-18","ids":{"openalex":"https://openalex.org/W2949033485","doi":"https://doi.org/10.1145/3299869.3300084","mag":"2949033485"},"language":"en","primary_location":{"id":"doi:10.1145/3299869.3300084","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3299869.3300084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Conference on Management of Data","raw_type":"proceedings-article"},"type":"article","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/A5073835385","display_name":"Daniel Deutch","orcid":"https://orcid.org/0009-0001-0838-0162"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Daniel Deutch","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005553562","display_name":"Yuval Moskovitch","orcid":"https://orcid.org/0000-0002-0325-7392"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yuval Moskovitch","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082349206","display_name":"Noam Rinetzky","orcid":"https://orcid.org/0000-0002-7750-4085"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Noam Rinetzky","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5073835385"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":4.0534,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.95433103,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"537","last_page":"554"},"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.9998999834060669,"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.9998999834060669,"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/T11937","display_name":"Research Data Management Practices","score":0.9936000108718872,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9853000044822693,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8103104829788208},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.8011776804924011},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7519878149032593},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7218615412712097},{"id":"https://openalex.org/keywords/provenance","display_name":"Provenance","score":0.6227678656578064},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5830445289611816},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49888181686401367},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43796107172966003},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4097166061401367},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3973691761493683},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22963830828666687},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.19754618406295776},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1662522256374359}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8103104829788208},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.8011776804924011},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7519878149032593},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7218615412712097},{"id":"https://openalex.org/C2780049196","wikidata":"https://www.wikidata.org/wiki/Q23582628","display_name":"Provenance","level":2,"score":0.6227678656578064},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5830445289611816},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49888181686401367},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43796107172966003},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4097166061401367},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3973691761493683},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22963830828666687},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.19754618406295776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1662522256374359},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"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},{"id":"https://openalex.org/C5900021","wikidata":"https://www.wikidata.org/wiki/Q163082","display_name":"Petrology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3299869.3300084","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3299869.3300084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2019 International Conference on Management of Data","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7497027152","display_name":null,"funder_award_id":"804302","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"}],"funders":[{"id":"https://openalex.org/F4320323706","display_name":"Ministry of Science and Technology, Israel","ror":"https://ror.org/02heb2n75"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W180519810","https://openalex.org/W199916997","https://openalex.org/W747661412","https://openalex.org/W1968386702","https://openalex.org/W1975612259","https://openalex.org/W1985139361","https://openalex.org/W2000154402","https://openalex.org/W2001108980","https://openalex.org/W2011039300","https://openalex.org/W2014888296","https://openalex.org/W2024834471","https://openalex.org/W2048864522","https://openalex.org/W2089434603","https://openalex.org/W2095436528","https://openalex.org/W2101235780","https://openalex.org/W2110635115","https://openalex.org/W2112525062","https://openalex.org/W2113123266","https://openalex.org/W2119325664","https://openalex.org/W2125806118","https://openalex.org/W2126880670","https://openalex.org/W2133986470","https://openalex.org/W2143102052","https://openalex.org/W2150616017","https://openalex.org/W2156399060","https://openalex.org/W2167541073","https://openalex.org/W2263923344","https://openalex.org/W2293299776","https://openalex.org/W2294556882","https://openalex.org/W2442568230","https://openalex.org/W2510515487","https://openalex.org/W2609517807","https://openalex.org/W2612048434","https://openalex.org/W2614037574","https://openalex.org/W2767854619","https://openalex.org/W2791094827","https://openalex.org/W2792117462","https://openalex.org/W2946289328","https://openalex.org/W3100797621","https://openalex.org/W4365786623","https://openalex.org/W6605500462","https://openalex.org/W6632100894","https://openalex.org/W6636782851","https://openalex.org/W6660736801","https://openalex.org/W6683905180","https://openalex.org/W6686224169","https://openalex.org/W6693301454","https://openalex.org/W6697405692","https://openalex.org/W6703659369"],"related_works":["https://openalex.org/W2058965144","https://openalex.org/W2164382479","https://openalex.org/W2146343568","https://openalex.org/W98480971","https://openalex.org/W2150291671","https://openalex.org/W2013643406","https://openalex.org/W2027972911","https://openalex.org/W2157978810","https://openalex.org/W4391547476","https://openalex.org/W2597809628"],"abstract_inverted_index":{"Data":[0],"analytics":[1],"often":[2,73],"involves":[3],"hypothetical":[4,48,120,134,181],"reasoning:":[5],"repeatedly":[6],"modifying":[7],"the":[8,12,16,45,77,101,110,113,118,124,133,138,141,158,173],"data":[9,29,65],"and":[10,63,129,136,151,166],"observing":[11],"induced":[13],"effect":[14],"on":[15,99,117],"computation":[17],"result":[18],"of":[19,40,44,79,132,140,160,180,187],"a":[20,41,53,68,74,87,184],"data-centric":[21],"application.":[22],"Previous":[23],"work":[24],"has":[25],"shown":[26],"that":[27,89,172],"fine-grained":[28],"provenance":[30,55,59,93,102,111,127],"can":[31],"help":[32],"make":[33],"such":[34],"an":[35],"analysis":[36],"more":[37],"efficient:":[38],"instead":[39],"costly":[42],"re-execution":[43],"underlying":[46],"application,":[47],"scenarios":[49],"are":[50],"applied":[51],"to":[52,67,76,91,177],"pre-computed":[54],"expression.":[56],"However,":[57],"storing":[58],"for":[60,148,153,163],"complex":[61],"queries":[62,165],"large-scale":[64],"leads":[66],"significant":[69],"overhead,":[70],"which":[71],"is":[72,97,115],"barrier":[75],"incorporation":[78],"provenance-based":[80],"solutions.":[81],"To":[82],"this":[83],"end,":[84],"we":[85],"present":[86],"framework":[88],"allows":[90],"reduce":[92],"size.":[94],"Our":[95,169],"approach":[96],"based":[98,116],"reducing":[100],"granularity":[103,114,131],"using":[104],"user":[105],"defined":[106],"abstraction":[107,167],"trees":[108],"over":[109],"variables;":[112],"anticipated":[119],"scenarios.":[121],"We":[122,155],"formalize":[123],"tradeoff":[125],"between":[126],"size":[128],"supported":[130],"reasoning,":[135,182],"study":[137,157,170],"complexity":[139],"resulting":[142],"optimization":[143],"problem,":[144],"provide":[145],"efficient":[146],"algorithms":[147,174],"tractable":[149],"cases":[150],"heuristics":[152],"others.":[154],"experimentally":[156],"performance":[159],"our":[161],"solution":[162],"various":[164],"trees.":[168],"shows":[171],"generally":[175],"lead":[176],"substantial":[178],"speedup":[179],"with":[183],"reasonable":[185],"loss":[186],"accuracy.":[188]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}