{"id":"https://openalex.org/W2087475328","doi":"https://doi.org/10.1145/1376916.1376957","title":"Type inference for datalog and its application to query optimisation","display_name":"Type inference for datalog and its application to query optimisation","publication_year":2008,"publication_date":"2008-06-09","ids":{"openalex":"https://openalex.org/W2087475328","doi":"https://doi.org/10.1145/1376916.1376957","mag":"2087475328"},"language":"en","primary_location":{"id":"doi:10.1145/1376916.1376957","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","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/A5071726140","display_name":"Oege de Moor","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Oege de Moor","raw_affiliation_strings":["Semmle Ltd., Oxford, United Kngdm"],"affiliations":[{"raw_affiliation_string":"Semmle Ltd., Oxford, United Kngdm","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007867492","display_name":"Damien Sereni","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Damien Sereni","raw_affiliation_strings":["Semmle Ltd., Oxford, United Kngdm"],"affiliations":[{"raw_affiliation_string":"Semmle Ltd., Oxford, United Kngdm","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052865315","display_name":"Pavel Avgustinov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pavel Avgustinov","raw_affiliation_strings":["Semmle Ltd., Oxford, United Kngdm"],"affiliations":[{"raw_affiliation_string":"Semmle Ltd., Oxford, United Kngdm","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438414","display_name":"Mathieu Verbaere","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathieu Verbaere","raw_affiliation_strings":["Semmle Ltd., Oxford, United Kngdm"],"affiliations":[{"raw_affiliation_string":"Semmle Ltd., Oxford, United Kngdm","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5071726140"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.8646,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.96514336,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"291","last_page":"300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/datalog","display_name":"Datalog","score":0.9709417819976807},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7410112619400024},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6875076293945312},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6638358235359192},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6077877283096313},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5628260970115662},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5573018789291382},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5135362148284912},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.5026733875274658},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38675668835639954},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2606481611728668}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9709417819976807},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7410112619400024},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6875076293945312},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6638358235359192},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6077877283096313},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5628260970115662},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5573018789291382},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5135362148284912},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5026733875274658},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38675668835639954},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2606481611728668},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1376916.1376957","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1376916.1376957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W151728962","https://openalex.org/W1520950744","https://openalex.org/W1547760610","https://openalex.org/W1556604985","https://openalex.org/W1557561422","https://openalex.org/W1558832481","https://openalex.org/W1566471050","https://openalex.org/W1570025952","https://openalex.org/W1589289166","https://openalex.org/W1589966576","https://openalex.org/W1602738123","https://openalex.org/W1857353355","https://openalex.org/W1858414410","https://openalex.org/W1931451256","https://openalex.org/W1963705166","https://openalex.org/W1974608873","https://openalex.org/W1995214664","https://openalex.org/W1996863624","https://openalex.org/W1998914194","https://openalex.org/W2003804054","https://openalex.org/W2008289497","https://openalex.org/W2036829471","https://openalex.org/W2043100293","https://openalex.org/W2049802244","https://openalex.org/W2051445745","https://openalex.org/W2070985734","https://openalex.org/W2076696436","https://openalex.org/W2081973669","https://openalex.org/W2109150047","https://openalex.org/W2115656500","https://openalex.org/W2125364400","https://openalex.org/W2134093956","https://openalex.org/W2137382312","https://openalex.org/W2139875914","https://openalex.org/W2140587192","https://openalex.org/W2143645917","https://openalex.org/W2148425758","https://openalex.org/W2152805807","https://openalex.org/W2162602286","https://openalex.org/W2299199230","https://openalex.org/W2506254219","https://openalex.org/W2616339659","https://openalex.org/W3005412289","https://openalex.org/W3161549246","https://openalex.org/W4251357119"],"related_works":["https://openalex.org/W2109031030","https://openalex.org/W1941412300","https://openalex.org/W2804371217","https://openalex.org/W4297831890","https://openalex.org/W2963764498","https://openalex.org/W2068383718","https://openalex.org/W2156211387","https://openalex.org/W1977621403","https://openalex.org/W4246881098","https://openalex.org/W1481489425"],"abstract_inverted_index":{"Certain":[0],"variants":[1],"of":[2,35,42,50,71,87,143,149],"object-oriented":[3,144],"Datalog":[4,9,38,62,118],"can":[5],"be":[6],"compiled":[7],"to":[8,14,18,32],"with":[10,135],"negation.":[11],"We":[12,90,110],"seek":[13],"apply":[15],"optimisations":[16,44],"akin":[17],"virtual":[19],"method":[20],"resolution":[21],"(a":[22],"well-known":[23],"technique":[24],"in":[25,84,121,139],"compiling":[26],"Java":[27],"and":[28,99],"other":[29],"OO":[30],"languages)":[31],"improve":[33],"efficiency":[34],"the":[36,48,51,69,85,122,125,147],"resulting":[37],"programs.":[39],"The":[40,105],"effectiveness":[41],"such":[43],"strongly":[45],"depends":[46],"on":[47,58,65],"precision":[49],"underlying":[52],"type":[53,59,70,79,93,102,127,152],"inference":[54,60,80,103,153],"algorithm.":[55,104,154],"Previous":[56],"work":[57],"for":[61,117],"has":[63],"focussed":[64],"Cartesian":[66,78],"abstractions,":[67],"where":[68,95],"each":[72],"field":[73,88],"is":[74,81,107,115,128],"computed":[75],"separately.":[76],"Such":[77],"inherently":[82],"imprecise":[83],"presence":[86],"equalities.":[89],"propose":[91],"a":[92,101,140],"system":[94],"equalities":[96],"are":[97],"tracked,":[98],"present":[100],"algorithm":[106],"proved":[108],"sound.":[109],"also":[111],"prove":[112],"that":[113,124],"it":[114],"optimal":[116],"without":[119],"negation,":[120],"sense":[123],"inferred":[126],"as":[129,131],"tight":[130],"possible.":[132],"Extensive":[133],"experiments":[134],"our":[136],"type-based":[137],"optimisations,":[138],"commercial":[141],"implementation":[142],"Datalog,":[145],"confirm":[146],"benefits":[148],"this":[150],"non-Cartesian":[151]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}