{"id":"https://openalex.org/W2206254219","doi":"https://doi.org/10.1145/3236781","title":"Relational algebra by way of adjunctions","display_name":"Relational algebra by way of adjunctions","publication_year":2018,"publication_date":"2018-07-30","ids":{"openalex":"https://openalex.org/W2206254219","doi":"https://doi.org/10.1145/3236781","mag":"2206254219"},"language":"en","primary_location":{"id":"doi:10.1145/3236781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236781","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3236781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086558126","display_name":"Jeremy Gibbons","orcid":"https://orcid.org/0000-0002-8426-9917"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jeremy Gibbons","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045204080","display_name":"Fritz Henglein","orcid":"https://orcid.org/0000-0001-5190-2125"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Fritz Henglein","raw_affiliation_strings":["University of Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063247380","display_name":"Ralf Hinze","orcid":"https://orcid.org/0000-0001-5678-0286"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ralf Hinze","raw_affiliation_strings":["University of Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072641397","display_name":"Nicolas Wu","orcid":"https://orcid.org/0000-0002-4161-985X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicolas Wu","raw_affiliation_strings":["University of Bristol, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.542,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.84386248,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2","issue":"ICFP","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"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/T11106","display_name":"Data Management and Algorithms","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.787509560585022},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.5808991193771362},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.5641003251075745},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5434250831604004},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5394848585128784},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5156596899032593},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.515328586101532},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.5124192833900452},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5088627338409424},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5084201693534851},{"id":"https://openalex.org/keywords/codds-theorem","display_name":"Codd's theorem","score":0.48895156383514404},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.455265074968338},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.43055230379104614},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.38165634870529175},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3139303922653198},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2882448136806488},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23274803161621094},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16405633091926575},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.15434697270393372},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.09267297387123108},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09242510795593262},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06876710057258606}],"concepts":[{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.787509560585022},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.5808991193771362},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.5641003251075745},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5434250831604004},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5394848585128784},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5156596899032593},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.515328586101532},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.5124192833900452},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5088627338409424},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5084201693534851},{"id":"https://openalex.org/C16739119","wikidata":"https://www.wikidata.org/wiki/Q5139948","display_name":"Codd's theorem","level":5,"score":0.48895156383514404},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.455265074968338},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.43055230379104614},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.38165634870529175},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3139303922653198},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2882448136806488},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23274803161621094},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16405633091926575},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.15434697270393372},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.09267297387123108},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09242510795593262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06876710057258606},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1145/3236781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236781","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/fde707a2-786a-461d-8ed2-e15f20be33c7","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/fde707a2-786a-461d-8ed2-e15f20be33c7","pdf_url":"https://curis.ku.dk/ws/files/168286330/reladj_dbpl.pdf","source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gibbons , J , Henglein , F , Hinze , R & Wu , N 2016 , ' Relational algebra by way of adjunctions ' , 15th International Symposium on Database Programming Languages , Pittsburgh , United States , 27/10/2015 - 27/10/2015 . < http://conf.researchr.org/event/dbpl2015/dbpl2015-relational-algebra-by-way-of-adjunctions >","raw_type":"conferenceObject"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/6a6ecc13-813c-453e-b298-f8f2a175e33a","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/6a6ecc13-813c-453e-b298-f8f2a175e33a","pdf_url":"https://research-information.bris.ac.uk/files/177884475/algebra.pdf","source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gibbons, J, Henglein, F, Hinze, R & Wu, N 2018, Relational Algebra by Way of Adjunctions. in Proceedings of the International Conference on Functional Programming 2018. Association for Computing Machinery. https://doi.org/10.1145/3236781","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:316e6be3-772f-4f27-95e7-1e3ba834b002","is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:316e6be3-772f-4f27-95e7-1e3ba834b002","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/79012f2c-3d44-4554-928c-e4f9afde4138","is_oa":false,"landing_page_url":"https://dl.acm.org/doi/10.1145/3236781","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gibbons , J , Henglein , F , Hinze , R & Wu , N 2018 , ' Relational algebra by way of adjunctions ' , Proceedings of the ACM on Programming Languages , vol. 2 , no. ICFP , 86 , pp. 1-28 . https://doi.org/10.1145/3236781","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/79012f2c-3d44-4554-928c-e4f9afde4138","is_oa":false,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/79012f2c-3d44-4554-928c-e4f9afde4138","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gibbons , J , Henglein , F , Hinze , R & Wu , N 2018 , ' Relational algebra by way of adjunctions ' , Proceedings of the ACM on Programming Languages , vol. 2 , no. ICFP , 86 , pp. 1-28 . https://doi.org/10.1145/3236781","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/fde707a2-786a-461d-8ed2-e15f20be33c7","is_oa":false,"landing_page_url":"https://curis.ku.dk/portal/da/publications/relational-algebra-by-way-of-adjunctions(fde707a2-786a-461d-8ed2-e15f20be33c7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research-information.bris.ac.uk:openaire/6a6ecc13-813c-453e-b298-f8f2a175e33a","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/6a6ecc13-813c-453e-b298-f8f2a175e33a","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gibbons, J, Henglein, F, Hinze, R & Wu, N 2018, Relational Algebra by Way of Adjunctions. in Proceedings of the International Conference on Functional Programming 2018. Association for Computing Machinery. https://doi.org/10.1145/3236781","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/85696","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/85696","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"23rd ACM SIGPLAN International Conference on Functional Programming (ICFP)","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.1145/3236781","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3236781","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3236781","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G4285495088","display_name":null,"funder_award_id":"10-092299","funder_id":"https://openalex.org/F4320313796","funder_display_name":"Innovationsfonden"},{"id":"https://openalex.org/G5861354049","display_name":null,"funder_award_id":"EP/J010995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7992805444","display_name":"Unifying Theories of Generic Programming","funder_award_id":"EP/J010995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2206254219.pdf","grobid_xml":"https://content.openalex.org/works/W2206254219.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W74688787","https://openalex.org/W1493222705","https://openalex.org/W1522042692","https://openalex.org/W1533008268","https://openalex.org/W1550189516","https://openalex.org/W1561487379","https://openalex.org/W1585022015","https://openalex.org/W1759086394","https://openalex.org/W1815928176","https://openalex.org/W1897069414","https://openalex.org/W1970372442","https://openalex.org/W1976673631","https://openalex.org/W1984843285","https://openalex.org/W1989110026","https://openalex.org/W2007397391","https://openalex.org/W2007738069","https://openalex.org/W2029138494","https://openalex.org/W2033229728","https://openalex.org/W2080124533","https://openalex.org/W2109820521","https://openalex.org/W2116813111","https://openalex.org/W2118384863","https://openalex.org/W2118578267","https://openalex.org/W2119176020","https://openalex.org/W2136327713","https://openalex.org/W2138709157","https://openalex.org/W2153329411","https://openalex.org/W2236043833","https://openalex.org/W2295608275","https://openalex.org/W2312958069","https://openalex.org/W2313469048","https://openalex.org/W2339107952","https://openalex.org/W2339920159","https://openalex.org/W2342139519","https://openalex.org/W2490970523","https://openalex.org/W2580179859","https://openalex.org/W2604845086","https://openalex.org/W2610994252","https://openalex.org/W2790840297","https://openalex.org/W3125045354","https://openalex.org/W3157948251","https://openalex.org/W4214538532","https://openalex.org/W4300454881","https://openalex.org/W6732671500"],"related_works":["https://openalex.org/W2095263945","https://openalex.org/W2005835473","https://openalex.org/W2056340443","https://openalex.org/W206482712","https://openalex.org/W1494193231","https://openalex.org/W2013334450","https://openalex.org/W1525937901","https://openalex.org/W1979093255","https://openalex.org/W4243306847","https://openalex.org/W2150111014"],"abstract_inverted_index":{"Bulk":[0],"types":[1,108],"such":[2],"as":[3],"sets,":[4],"bags,":[5],"and":[6,10,44,75,145],"lists":[7],"are":[8,86],"monads,":[9],"therefore":[11],"support":[12],"a":[13,140],"notation":[14],"for":[15,46,51,79,143],"database":[16,30,55],"queries":[17],"based":[18],"on":[19,29],"comprehensions.":[20],"This":[21],"fact":[22],"is":[23,93],"the":[24,102,129],"basis":[25],"of":[26,39,54,70,83,131,155],"much":[27],"work":[28],"query":[31,56],"languages.":[32],"The":[33,88],"monadic":[34],"structure":[35],"easily":[36],"explains":[37],"most":[38],"standard":[40,132],"relational":[41,71,84,133],"algebra---specifically,":[42],"selections":[43],"projections---allowing":[45],"an":[47,68,151],"elegant":[48],"mathematical":[49,141],"foundation":[50,142],"those":[52,80],"aspects":[53,82],"language":[57],"design.":[58],"Most,":[59],"but":[60],"not":[61,65],"all:":[62],"monads":[63,138],"do":[64],"immediately":[66],"offer":[67,92],"explanation":[69],"join":[72],"or":[73],"grouping,":[74,146],"hence":[76],"important":[77,123],"foundations":[78],"crucial":[81],"algebra":[85],"missing.":[87],"best":[89],"they":[90],"can":[91,126],"cartesian":[94],"product":[95],"followed":[96],"by":[97,117],"selection.":[98],"Adjunctions":[99],"come":[100],"to":[101,121,150],"rescue:":[103],"like":[104],"any":[105],"monad,":[106],"bulk":[107],"also":[109],"arise":[110],"from":[111],"certain":[112],"adjunctions;":[113],"we":[114,125],"show":[115],"that":[116],"paying":[118],"due":[119],"attention":[120],"other":[122],"adjunctions,":[124],"elegantly":[127],"explain":[128],"rest":[130],"algebra.":[134],"In":[135],"particular,":[136],"graded":[137],"provide":[139],"indexing":[144],"which":[147],"leads":[148],"directly":[149],"efficient":[152],"implementation,":[153],"even":[154],"joins.":[156]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2016,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}