{"id":"https://openalex.org/W2130475037","doi":"https://doi.org/10.1145/1055558.1055602","title":"On preservation under homomorphisms and unions of conjunctive queries","display_name":"On preservation under homomorphisms and unions of conjunctive queries","publication_year":2004,"publication_date":"2004-06-14","ids":{"openalex":"https://openalex.org/W2130475037","doi":"https://doi.org/10.1145/1055558.1055602","mag":"2130475037"},"language":"en","primary_location":{"id":"doi:10.1145/1055558.1055602","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055602","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-third 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/A5003671114","display_name":"Albert Atserias","orcid":"https://orcid.org/0000-0002-3732-1989"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Albert Atserias","raw_affiliation_strings":["Universitat Polit\u00e9cnica de, Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e9cnica de, Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080843415","display_name":"Anuj Dawar","orcid":"https://orcid.org/0000-0003-4014-8248"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Anuj Dawar","raw_affiliation_strings":["University of Cambridge, Cambridge, U.K","Univ. of Cambridge, Cambridge, U.K.#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, U.K","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Univ. of Cambridge, Cambridge, U.K.#TAB#","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041825861","display_name":"Phokion G. Kolaitis","orcid":"https://orcid.org/0000-0002-8407-8563"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phokion G. Kolaitis","raw_affiliation_strings":["University of California, Santa Cruz, CA","University of California, Santa Cruz, CA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, CA","institution_ids":["https://openalex.org/I185103710"]},{"raw_affiliation_string":"University of California, Santa Cruz, CA#TAB#","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.115,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.91646907,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"319","last_page":"329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9983000159263611,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9980999827384949,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9962000250816345,"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/homomorphism","display_name":"Homomorphism","score":0.9271098375320435},{"id":"https://openalex.org/keywords/algebra-homomorphism","display_name":"Algebra homomorphism","score":0.6955704689025879},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5978177189826965},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5872645974159241},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5818790793418884},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5781165361404419},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4906560480594635},{"id":"https://openalex.org/keywords/graph-homomorphism","display_name":"Graph homomorphism","score":0.436839759349823},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.3268016278743744},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32357776165008545},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3072926700115204},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2437579333782196},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.21856281161308289},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.13855555653572083}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.9271098375320435},{"id":"https://openalex.org/C175316100","wikidata":"https://www.wikidata.org/wiki/Q3882299","display_name":"Algebra homomorphism","level":3,"score":0.6955704689025879},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5978177189826965},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5872645974159241},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5818790793418884},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5781165361404419},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4906560480594635},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.436839759349823},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3268016278743744},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32357776165008545},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3072926700115204},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2437579333782196},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.21856281161308289},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.13855555653572083},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0},{"id":"https://openalex.org/C149530733","wikidata":"https://www.wikidata.org/wiki/Q5597091","display_name":"Graph power","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1055558.1055602","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055602","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-third 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":40,"referenced_works":["https://openalex.org/W43155751","https://openalex.org/W1026721552","https://openalex.org/W1556286805","https://openalex.org/W1558832481","https://openalex.org/W1570907360","https://openalex.org/W1696059587","https://openalex.org/W1844376523","https://openalex.org/W1979514837","https://openalex.org/W1993920925","https://openalex.org/W1994887153","https://openalex.org/W1999038767","https://openalex.org/W2002384985","https://openalex.org/W2016341899","https://openalex.org/W2026745535","https://openalex.org/W2027519504","https://openalex.org/W2040019628","https://openalex.org/W2046652577","https://openalex.org/W2050489064","https://openalex.org/W2056660085","https://openalex.org/W2057826895","https://openalex.org/W2067431706","https://openalex.org/W2073227282","https://openalex.org/W2073279331","https://openalex.org/W2082035816","https://openalex.org/W2120013083","https://openalex.org/W2132012728","https://openalex.org/W2153597031","https://openalex.org/W2159686758","https://openalex.org/W2166197332","https://openalex.org/W2166459837","https://openalex.org/W2172130168","https://openalex.org/W2798428635","https://openalex.org/W2798588639","https://openalex.org/W2913688336","https://openalex.org/W4212857488","https://openalex.org/W4252098605","https://openalex.org/W4254380579","https://openalex.org/W4285719527","https://openalex.org/W6750258011","https://openalex.org/W6750917982"],"related_works":["https://openalex.org/W2782277909","https://openalex.org/W2126491855","https://openalex.org/W2148608710","https://openalex.org/W4321649496","https://openalex.org/W2242104095","https://openalex.org/W1548348759","https://openalex.org/W4298569003","https://openalex.org/W2953233053","https://openalex.org/W2130475037","https://openalex.org/W15333692"],"abstract_inverted_index":{"Unions":[0],"of":[1,36,122,125,143,146,151,154,162],"conjunctive":[2],"queries,":[3,8],"also":[4],"known":[5],"as":[6],"select-project-join-union":[7],"are":[9,21,29,44,54],"the":[10,45,77,83,114],"most":[11],"frequently":[12],"asked":[13],"queries":[14,20],"in":[15,69,82,127],"relational":[16],"database":[17,131],"systems.":[18],"These":[19],"definable":[22],"by":[23],"existential":[24,41,102],"positive":[25,42,103],"first-order":[26,47,89],"formulas":[27,43,48],"and":[28,62,130],"preserved":[30,55,91],"under":[31,56,92],"homomorphisms.":[32],"A":[33],"classical":[34],"result":[35,80,138],"mathematical":[37],"logic":[38],"asserts":[39],"that":[40,53,85,113,136],"only":[46],"(up":[49],"to":[50,74,100],"logical":[51],"equivalence)":[52],"homomorphisms":[57,93],"on":[58,94,105],"all":[59,141,149,160],"structures,":[60],"finite":[61,70,95,106,123,144,152,163],"infinite.":[63],"It":[64],"is":[65,97],"long-standing":[66],"open":[67],"problem":[68],"model":[71],"theory,":[72],"however,":[73],"determine":[75],"whether":[76,87],"same":[78],"homomorphism-preservation":[79,115],"holds":[81,117,139],"finite,":[84],"is,":[86],"every":[88],"formula":[90,104],"structures":[96,124,145,153,164],"logically":[98],"equivalent":[99],"an":[101],"structures.":[107],"In":[108],"this":[109,137],"paper,":[110],"we":[111,134],"show":[112,135],"theorem":[116],"for":[118,140],"several":[119],"large":[120],"classes":[121,142,150,161],"interest":[126],"graph":[128],"theory":[129],"theory.":[132],"Specifically,":[133],"bounded":[147,155],"degree,":[148],"treewidth,":[156],"and,":[157],"more":[158],"generally,":[159],"whose":[165],"cores":[166],"exclude":[167],"at":[168],"least":[169],"one":[170],"minor.":[171]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}