{"id":"https://openalex.org/W4247541922","doi":"https://doi.org/10.1145/1190216.1190248","title":"Extracting queries by static analysis of transparent persistence","display_name":"Extracting queries by static analysis of transparent persistence","publication_year":2007,"publication_date":"2007-01-17","ids":{"openalex":"https://openalex.org/W4247541922","doi":"https://doi.org/10.1145/1190216.1190248"},"language":"en","primary_location":{"id":"doi:10.1145/1190216.1190248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","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/A5006874689","display_name":"Ben Wiedermann","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Wiedermann","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029147559","display_name":"William R. Cook","orcid":"https://orcid.org/0000-0003-4918-8975"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William R. Cook","raw_affiliation_strings":["The University of Texas at Austin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9977999925613403,"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.8689162731170654},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.6929713487625122},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.5781453847885132},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.5742952227592468},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5441729426383972},{"id":"https://openalex.org/keywords/persistent-data-structure","display_name":"Persistent data structure","score":0.5195232033729553},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45971301198005676},{"id":"https://openalex.org/keywords/data-access","display_name":"Data access","score":0.42847371101379395},{"id":"https://openalex.org/keywords/relational-database-management-system","display_name":"Relational database management system","score":0.4270781874656677},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.424642413854599},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4105628728866577},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.39064860343933105},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.36869245767593384},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.33029693365097046},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15508759021759033}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8689162731170654},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.6929713487625122},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.5781453847885132},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.5742952227592468},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5441729426383972},{"id":"https://openalex.org/C888380","wikidata":"https://www.wikidata.org/wiki/Q2427787","display_name":"Persistent data structure","level":2,"score":0.5195232033729553},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45971301198005676},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.42847371101379395},{"id":"https://openalex.org/C24394798","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database management system","level":3,"score":0.4270781874656677},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.424642413854599},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4105628728866577},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.39064860343933105},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.36869245767593384},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.33029693365097046},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15508759021759033}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1190216.1190248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.74.4790","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.4790","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utexas.edu/users/wcook/Drafts/2006/WiedermannCook06.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W99475495","https://openalex.org/W1481333791","https://openalex.org/W1512353499","https://openalex.org/W1543745032","https://openalex.org/W1583380846","https://openalex.org/W1592900046","https://openalex.org/W1596196421","https://openalex.org/W1769491288","https://openalex.org/W1977101058","https://openalex.org/W1986228550","https://openalex.org/W1991271936","https://openalex.org/W1992071907","https://openalex.org/W2008609084","https://openalex.org/W2010418442","https://openalex.org/W2032852944","https://openalex.org/W2041871643","https://openalex.org/W2102890180","https://openalex.org/W2135697103","https://openalex.org/W2139356751","https://openalex.org/W2151360539","https://openalex.org/W2154528871","https://openalex.org/W2157079925","https://openalex.org/W2157735386","https://openalex.org/W2159078835","https://openalex.org/W2170830071","https://openalex.org/W2176577076","https://openalex.org/W2178644170","https://openalex.org/W2481521039","https://openalex.org/W2945526390","https://openalex.org/W3005941131","https://openalex.org/W6600479452","https://openalex.org/W6635190349"],"related_works":["https://openalex.org/W2525463489","https://openalex.org/W1608803044","https://openalex.org/W2157660637","https://openalex.org/W2077499329","https://openalex.org/W2970480852","https://openalex.org/W1836373119","https://openalex.org/W2020973245","https://openalex.org/W1493903037","https://openalex.org/W2968467529","https://openalex.org/W2058895276"],"abstract_inverted_index":{"Transparent":[0],"persistence":[1,35,154],"promises":[2,144],"to":[3,13,68,82,127,145],"integrate":[4],"programming":[5],"languages":[6],"and":[7,91,109,130],"databases":[8],"by":[9,59,114],"allowing":[10],"procedural":[11],"programs":[12,64],"access":[14,67,126],"persistent":[15,69,128],"data":[16,26,85,129,153],"with":[17,65,124,155],"the":[18,25,40,54,79,84,89,92,96,110,132,136,147,156],"same":[19],"ease":[20],"as":[21],"non-persistent":[22],"data.":[23,70],"When":[24],"is":[27,112],"stored":[28],"in":[29,88],"a":[30,49,74,107],"relational":[31,44],"database,":[32],"however,":[33],"transparent":[34,66,152],"does":[36],"not":[37],"naturally":[38],"leverage":[39],"performance":[41,157],"benefits":[42,55,150,158],"of":[43,56,78,151,159],"query":[45,161],"optimization.":[46,162],"We":[47,118],"present":[48],"program":[50,81,90,111],"analysis":[51,72,142],"that":[52],"combines":[53],"both":[57],"approaches":[58],"extracting":[60],"database":[61,160],"queries":[62],"from":[63],"The":[71,100],"uses":[73],"sound":[75],"abstract":[76],"interpretation":[77],"original":[80],"approximate":[83],"traversal":[86],"paths":[87,97,102],"conditions":[93,133],"under":[94,134],"which":[95,135],"are":[98,103],"used.":[99],"resulting":[101],"then":[104],"converted":[105],"into":[106],"query,":[108],"simplified":[113],"removing":[115],"redundant":[116],"tests.":[117],"study":[119],"an":[120],"imperative":[121],"kernel":[122],"language":[123],"read-only":[125],"identify":[131],"transformations":[137],"can":[138],"be":[139],"applied.":[140],"This":[141],"approach":[143],"combine":[146],"software":[148],"engineering":[149]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}