{"id":"https://openalex.org/W3169050797","doi":"https://doi.org/10.1007/s00778-021-00665-6","title":"Formal semantics and high performance in declarative machine learning using Datalog","display_name":"Formal semantics and high performance in declarative machine learning using Datalog","publication_year":2021,"publication_date":"2021-05-31","ids":{"openalex":"https://openalex.org/W3169050797","doi":"https://doi.org/10.1007/s00778-021-00665-6","mag":"3169050797"},"language":"en","primary_location":{"id":"doi:10.1007/s00778-021-00665-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00778-021-00665-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00778-021-00665-6.pdf","source":{"id":"https://openalex.org/S78926909","display_name":"The VLDB Journal","issn_l":"0949-877X","issn":["0949-877X","1066-8888"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The VLDB Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00778-021-00665-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100346150","display_name":"Jin Wang","orcid":"https://orcid.org/0000-0002-3172-6133"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jin Wang","raw_affiliation_strings":["University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101870639","display_name":"Jiacheng Wu","orcid":"https://orcid.org/0000-0002-4219-2843"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiacheng Wu","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101396650","display_name":"Mingda Li","orcid":"https://orcid.org/0009-0003-3693-8412"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mingda Li","raw_affiliation_strings":["University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090386129","display_name":"Jiaqi Gu","orcid":"https://orcid.org/0000-0001-8535-7698"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jiaqi Gu","raw_affiliation_strings":["University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103245820","display_name":"Ariyam Das","orcid":"https://orcid.org/0000-0003-0950-606X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ariyam Das","raw_affiliation_strings":["University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113467760","display_name":"Carlo Zaniolo","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carlo Zaniolo","raw_affiliation_strings":["University of California, Los Angeles, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100346150"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":3.2801,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.93867399,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"30","issue":"5","first_page":"859","last_page":"881"},"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.993399977684021,"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.993399977684021,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9908000230789185,"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"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9886999726295471,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.975027322769165},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8419862389564514},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6670599579811096},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.665640652179718},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.6248932480812073},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4594602882862091},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4574347138404846},{"id":"https://openalex.org/keywords/execution-model","display_name":"Execution model","score":0.4430277943611145},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42110076546669006},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40092000365257263},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3443948030471802},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.2659728527069092}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.975027322769165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419862389564514},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6670599579811096},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.665640652179718},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.6248932480812073},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4594602882862091},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4574347138404846},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.4430277943611145},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42110076546669006},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40092000365257263},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3443948030471802},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2659728527069092},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00778-021-00665-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00778-021-00665-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00778-021-00665-6.pdf","source":{"id":"https://openalex.org/S78926909","display_name":"The VLDB Journal","issn_l":"0949-877X","issn":["0949-877X","1066-8888"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The VLDB Journal","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00778-021-00665-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00778-021-00665-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00778-021-00665-6.pdf","source":{"id":"https://openalex.org/S78926909","display_name":"The VLDB Journal","issn_l":"0949-877X","issn":["0949-877X","1066-8888"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The VLDB Journal","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3169050797.pdf","grobid_xml":"https://content.openalex.org/works/W3169050797.grobid-xml"},"referenced_works_count":85,"referenced_works":["https://openalex.org/W1448681276","https://openalex.org/W1493893823","https://openalex.org/W1502641483","https://openalex.org/W1511011071","https://openalex.org/W1558832481","https://openalex.org/W1590360882","https://openalex.org/W1672891595","https://openalex.org/W1791611415","https://openalex.org/W1823445833","https://openalex.org/W1846087057","https://openalex.org/W1972377560","https://openalex.org/W2001340865","https://openalex.org/W2008865455","https://openalex.org/W2014287924","https://openalex.org/W2016531106","https://openalex.org/W2035298354","https://openalex.org/W2044849727","https://openalex.org/W2056116767","https://openalex.org/W2063061546","https://openalex.org/W2073074467","https://openalex.org/W2073904762","https://openalex.org/W2083842231","https://openalex.org/W2087032149","https://openalex.org/W2090850279","https://openalex.org/W2096544401","https://openalex.org/W2096650850","https://openalex.org/W2098678491","https://openalex.org/W2099655235","https://openalex.org/W2119011418","https://openalex.org/W2119391823","https://openalex.org/W2121990650","https://openalex.org/W2131975293","https://openalex.org/W2136575791","https://openalex.org/W2145067417","https://openalex.org/W2148238780","https://openalex.org/W2170616854","https://openalex.org/W2184623761","https://openalex.org/W2186615578","https://openalex.org/W2215524946","https://openalex.org/W2284514301","https://openalex.org/W2402144811","https://openalex.org/W2403401779","https://openalex.org/W2433992225","https://openalex.org/W2509235963","https://openalex.org/W2535724050","https://openalex.org/W2547190417","https://openalex.org/W2547386789","https://openalex.org/W2557780633","https://openalex.org/W2563724055","https://openalex.org/W2585098096","https://openalex.org/W2598262646","https://openalex.org/W2612545547","https://openalex.org/W2613579336","https://openalex.org/W2614179415","https://openalex.org/W2751532144","https://openalex.org/W2756847981","https://openalex.org/W2799457717","https://openalex.org/W2803349759","https://openalex.org/W2805517282","https://openalex.org/W2808240130","https://openalex.org/W2856694434","https://openalex.org/W2897128047","https://openalex.org/W2904201207","https://openalex.org/W2946865883","https://openalex.org/W2948085204","https://openalex.org/W2948416929","https://openalex.org/W2948906765","https://openalex.org/W2962740062","https://openalex.org/W2963288913","https://openalex.org/W2963390429","https://openalex.org/W2964250337","https://openalex.org/W2970971581","https://openalex.org/W2973251466","https://openalex.org/W2974902286","https://openalex.org/W2980569716","https://openalex.org/W3011813038","https://openalex.org/W3031488652","https://openalex.org/W3098257205","https://openalex.org/W3122969484","https://openalex.org/W3173657624","https://openalex.org/W4206031975","https://openalex.org/W4234138276","https://openalex.org/W4288365054","https://openalex.org/W6614148910","https://openalex.org/W6713134421"],"related_works":["https://openalex.org/W4296313421","https://openalex.org/W2593015871","https://openalex.org/W79246384","https://openalex.org/W1980794066","https://openalex.org/W1531159134","https://openalex.org/W2170719314","https://openalex.org/W2102200347","https://openalex.org/W4225566380","https://openalex.org/W3169050797","https://openalex.org/W2087688016"],"abstract_inverted_index":{"Abstract":[0],"With":[1],"an":[2,17],"escalating":[3],"arms":[4],"race":[5],"to":[6,20,125,128],"adopt":[7],"machine":[8,23,72],"learning":[9,24,73],"(ML)":[10],"in":[11,43,91,145],"diverse":[12,157],"application":[13],"domains,":[14],"there":[15],"is":[16,35,48,110,123],"urgent":[18],"need":[19],"support":[21],"declarative":[22,63,78,106],"over":[25],"distributed":[26,161],"data":[27,162],"platforms.":[28,163],"Toward":[29],"this":[30,58,191],"goal,":[31],"a":[32,44,76,82,96,104,174],"new":[33],"framework":[34,80],"needed":[36],"where":[37,46],"users":[38],"can":[39],"specify":[40],"ML":[41,79,100,210],"tasks":[42],"manner":[45],"programming":[47,201],"decoupled":[49],"from":[50],"the":[51,118,146],"underlying":[52],"algorithmic":[53],"and":[54,74,138,150,160,166,176,203,207],"system":[55,178],"concerns.":[56],"In":[57],"paper,":[59],"we":[60,171],"argue":[61],"that":[62,88,129,153,190],"abstractions":[64],"based":[65],"on":[66,156,179,186],"Datalog":[67,83,93],"are":[68,154],"natural":[69],"fits":[70],"for":[71,141,209],"propose":[75],"purely":[77],"with":[81],"query":[84],"interface.":[85],"We":[86,133],"show":[87],"using":[89],"aggregates":[90,149],"recursive":[92,121,158],"programs":[94,122,159],"entails":[95],"concise":[97],"expression":[98],"of":[99,120,130,148,181,205],"applications,":[101],"while":[102,198],"providing":[103],"strictly":[105],"formal":[107],"semantics.":[108],"This":[109],"achieved":[111],"by":[112],"introducing":[113],"simple":[114],"conditions":[115],"under":[116],"which":[117],"semantics":[119],"guaranteed":[124],"be":[126],"equivalent":[127],"aggregate-stratified":[131],"ones.":[132],"further":[134],"provide":[135],"specialized":[136],"compilation":[137],"planning":[139],"techniques":[140],"semi-naive":[142],"fixpoint":[143],"computation":[144],"presence":[147],"optimization":[151],"strategies":[152],"effective":[155],"To":[164],"test":[165],"demonstrate":[167],"these":[168],"research":[169],"advances,":[170],"have":[172],"developed":[173],"powerful":[175],"user-friendly":[177],"top":[180],"Apache":[182],"Spark.":[183],"Extensive":[184],"evaluations":[185],"large-scale":[187],"datasets":[188],"illustrate":[189],"approach":[192],"will":[193],"achieve":[194],"promising":[195],"performance":[196],"gains":[197],"improving":[199],"both":[200],"flexibility":[202],"ease":[204],"development":[206],"deployment":[208],"applications.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}