{"id":"https://openalex.org/W2090337980","doi":"https://doi.org/10.1145/1055686.1055691","title":"Equivalences among aggregate queries with negation","display_name":"Equivalences among aggregate queries with negation","publication_year":2005,"publication_date":"2005-04-01","ids":{"openalex":"https://openalex.org/W2090337980","doi":"https://doi.org/10.1145/1055686.1055691","mag":"2090337980"},"language":"en","primary_location":{"id":"doi:10.1145/1055686.1055691","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055686.1055691","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-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/A5006348713","display_name":"Sara Cohen","orcid":"https://orcid.org/0000-0002-8482-9435"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Sara Cohen","raw_affiliation_strings":["Technion--Israel Institute of Technology, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Technion--Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014143171","display_name":"Yehoshua Sagiv","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yehoshua Sagiv","raw_affiliation_strings":["Hebrew University, Jerusalem, Israel","Hebrew University , Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"Hebrew University , Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038176802","display_name":"Werner Nutt","orcid":"https://orcid.org/0000-0002-9347-1885"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I4210085930","display_name":"Heriot-Watt University Malaysia","ror":"https://ror.org/0059w0420","country_code":"MY","type":"education","lineage":["https://openalex.org/I4210085930"]}],"countries":["GB","MY"],"is_corresponding":false,"raw_author_name":"Werner Nutt","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, England","Heriot-Watt University, Edinburgh, England#TAB#"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, England","institution_ids":["https://openalex.org/I4210085930"]},{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, England#TAB#","institution_ids":["https://openalex.org/I32062511"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006348713"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":1.5958,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.83542025,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"6","issue":"2","first_page":"328","last_page":"360"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9997000098228455,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9984999895095825,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/decidability","display_name":"Decidability","score":0.8888643383979797},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7655298709869385},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7587777972221375},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7248594164848328},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.6319031119346619},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6037495136260986},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.548083484172821},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4724869132041931},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4463907778263092},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4364200830459595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1793617606163025}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8888643383979797},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7655298709869385},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7587777972221375},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7248594164848328},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.6319031119346619},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6037495136260986},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.548083484172821},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4724869132041931},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4463907778263092},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4364200830459595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1793617606163025},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1055686.1055691","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055686.1055691","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:alma.39UBZ_INST:11291738000001241","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=1055686.1055691&coll=DL&dl=ACM&CFID=525354154&CFTOKEN=93307207","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:unibz.it:11291738000001241","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=1055686.1055691&coll=DL&dl=ACM&CFID=525354154&CFTOKEN=93307207","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W150943429","https://openalex.org/W173390059","https://openalex.org/W1515943552","https://openalex.org/W1967992696","https://openalex.org/W1979514837","https://openalex.org/W1992681763","https://openalex.org/W1992810975","https://openalex.org/W2004405116","https://openalex.org/W2007093013","https://openalex.org/W2048531653","https://openalex.org/W2049233281","https://openalex.org/W2055586952","https://openalex.org/W2056660085","https://openalex.org/W2075035440","https://openalex.org/W2079590017","https://openalex.org/W2086316704","https://openalex.org/W2114883263","https://openalex.org/W2131258401","https://openalex.org/W2160712524","https://openalex.org/W2162621793","https://openalex.org/W2163491591","https://openalex.org/W2911521611","https://openalex.org/W2915063781","https://openalex.org/W7061297332"],"related_works":["https://openalex.org/W1865715204","https://openalex.org/W2096284940","https://openalex.org/W2767634713","https://openalex.org/W2916830211","https://openalex.org/W2964662755","https://openalex.org/W1994637428","https://openalex.org/W2021535402","https://openalex.org/W1569124960","https://openalex.org/W4232397231","https://openalex.org/W2349728712"],"abstract_inverted_index":{"Query":[0],"equivalence":[1,18,66,75,122],"is":[2,19,36,63,76,81,86,119,184],"investigated":[3],"for":[4,21,40,88,97,129,146,186],"disjunctive":[5],"aggregate":[6],"queries":[7,50,106,108,188],"with":[8,56,189],"negated":[9],"subgoals,":[10],"constants":[11],"and":[12,30,101,139,167],"comparisons.":[13],"A":[14,33,68,142],"full":[15],"characterization":[16,70],"of":[17,38,71,73,161,164],"given":[20,42,49],"the":[22,90,130,174],"aggregation":[23,92,131,165],"functions":[24,93,132],"count,":[25,133],"max,":[26,134],"sum,":[27,135],"prod,":[28,137],"top2":[29,138],"parity":[31],".":[32,67,103,141],"related":[34],"problem":[35,62,85],"that":[37,83,112,121,149,179],"determining,":[39],"a":[41,150],"natural":[43],"number":[44],"N":[45,59],",":[46],"whether":[47],"two":[48],"are":[51,115,157,171],"equivalent":[52],"over":[53],"all":[54,89],"databases":[55],"at":[57],"most":[58],"constants.":[60],"This":[61],"called":[64],"bounded":[65,74],"complete":[69],"decidability":[72],"given.":[77],"In":[78],"particular,":[79],"it":[80,118],"shown":[82,120],"this":[84],"decidable":[87,185],"above":[91,176],"as":[94,96],"well":[95],"cntd":[98,147],"(count":[99],"distinct)":[100],"avg":[102,140],"For":[104],"quasilinear":[105],"(i.e.,":[107],"in":[109,126,159],"which":[110],"predicates":[111],"occur":[113],"positively":[114],"not":[116],"repeated),":[117],"can":[123],"be":[124],"decided":[125],"polynomial":[127],"time":[128],"prty,":[136],"similar":[143],"result":[144],"holds":[145],"provided":[148],"few":[151],"additional":[152],"conditions":[153],"hold.":[154],"The":[155],"results":[156,175],"couched":[158],"terms":[160],"abstract":[162],"characteristics":[163],"functions,":[166],"new":[168],"proof":[169],"techniques":[170],"used.":[172],"Finally,":[173],"also":[177],"imply":[178],"equivalence,":[180],"under":[181],"bag-set":[182],"semantics,":[183],"nonaggregate":[187],"negation.":[190]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2015,"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"}