{"id":"https://openalex.org/W2103656714","doi":"https://doi.org/10.1017/s1471068401001351","title":"Decomposing non-redundant sharing by complementation","display_name":"Decomposing non-redundant sharing by complementation","publication_year":2002,"publication_date":"2002-03-01","ids":{"openalex":"https://openalex.org/W2103656714","doi":"https://doi.org/10.1017/s1471068401001351","mag":"2103656714"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068401001351","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068401001351","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","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/A5065794938","display_name":"Enea Zaffanella","orcid":"https://orcid.org/0000-0001-6388-2053"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"ENEA ZAFFANELLA","raw_affiliation_strings":["Department of Mathematics, University of Parma, Italy (e-mail:","Department of Mathematics, University of Parma, Italy (e-mail: zaffanella@cs.unipr.it)#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Parma, Italy (e-mail:","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Department of Mathematics, University of Parma, Italy (e-mail: zaffanella@cs.unipr.it)#TAB#","institution_ids":["https://openalex.org/I124601658"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111600664","display_name":"Patricia M. Hill","orcid":null},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"PATRICIA M. HILL","raw_affiliation_strings":["School of Computing, University of Leeds, Leeds, UK (e-mail:","School of Computing, University of Leeds, Leeds, UK (e-mail: hill@comp.leeds.ac.uk)#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing, University of Leeds, Leeds, UK (e-mail:","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"School of Computing, University of Leeds, Leeds, UK (e-mail: hill@comp.leeds.ac.uk)#TAB#","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057370941","display_name":"Roberto Bagnara","orcid":"https://orcid.org/0000-0002-6163-6278"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROBERTO BAGNARA","raw_affiliation_strings":["Department of Mathematics, University of Parma, Italy (e-mail:","Department of Mathematics, University of Parma, Italy (e-mail: bagnara@cs.unipr.it)#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Parma, Italy (e-mail:","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Department of Mathematics, University of Parma, Italy (e-mail: bagnara@cs.unipr.it)#TAB#","institution_ids":["https://openalex.org/I124601658"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065794938"],"corresponding_institution_ids":["https://openalex.org/I124601658"],"apc_list":null,"apc_paid":null,"fwci":1.7052,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86331428,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"233","last_page":"261"},"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.9951000213623047,"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.9951000213623047,"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/T11567","display_name":"semigroups and automata theory","score":0.9659000039100647,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9277999997138977,"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/complementation","display_name":"Complementation","score":0.8834744095802307},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7616415023803711},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5459096431732178},{"id":"https://openalex.org/keywords/time-sharing","display_name":"Time-sharing","score":0.5325336456298828},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47359922528266907},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.445169597864151},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14309599995613098},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.0761614441871643}],"concepts":[{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.8834744095802307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7616415023803711},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5459096431732178},{"id":"https://openalex.org/C38725249","wikidata":"https://www.wikidata.org/wiki/Q913876","display_name":"Time-sharing","level":2,"score":0.5325336456298828},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47359922528266907},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.445169597864151},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14309599995613098},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0761614441871643},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1017/s1471068401001351","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068401001351","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:1205","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.1543","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.1543","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.scs.leeds.ac.uk/scs/doc/reports/1999/99_07.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.26.5115","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5115","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unipr.it/~bagnara/Papers/PDF/TPLP01R3.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.26.5373","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5373","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unipr.it/~bagnara/Papers/PDF/SAS99.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.26.5655","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unipr.it/~bagnara/Papers/PostScript/600dpi/TPLP01R3-600DPI.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.26.6003","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.6003","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unipr.it/~bagnara/Papers/PostScript/600dpi/SAS99-600DPI.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.4.1102","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.1102","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unipr.it/~bagnara/Papers/PDF/TPLP02b.pdf","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":23,"referenced_works":["https://openalex.org/W60619409","https://openalex.org/W100418935","https://openalex.org/W102863870","https://openalex.org/W157365073","https://openalex.org/W1486648617","https://openalex.org/W1492188176","https://openalex.org/W1513694581","https://openalex.org/W1530708044","https://openalex.org/W1575117228","https://openalex.org/W1582269801","https://openalex.org/W1582306455","https://openalex.org/W1585736418","https://openalex.org/W1599949217","https://openalex.org/W1603485317","https://openalex.org/W1700937817","https://openalex.org/W2001265243","https://openalex.org/W2002387648","https://openalex.org/W2014764321","https://openalex.org/W2033160692","https://openalex.org/W2057821410","https://openalex.org/W2081673010","https://openalex.org/W2120329038","https://openalex.org/W3096089467"],"related_works":["https://openalex.org/W1518010816","https://openalex.org/W1976496938","https://openalex.org/W2189178478","https://openalex.org/W2154338693","https://openalex.org/W2128292801","https://openalex.org/W1587647201","https://openalex.org/W1500684591","https://openalex.org/W1988188960","https://openalex.org/W2036810953","https://openalex.org/W2120329038"],"abstract_inverted_index":{"Complementation,":[0],"the":[1,4,23,26,42,47,52,62,84,100,120,135,162,181,209,212,217],"inverse":[2],"of":[3,16,25,46,64,86,123,147,164,194,211],"reduced":[5],"product":[6],"operation,":[7],"is":[8,117,128,186,202],"a":[9,30,35,114,142,168],"technique":[10],"for":[11,33,78,130,137,145],"systematically":[12],"finding":[13],"minimal":[14,192],"decompositions":[15,193],"abstract":[17,77],"domains.":[18,195],"Fil\u00e9":[19],"and":[20,54,110,152,166,175,220],"Ranzato":[21],"advanced":[22],"state":[24],"art":[27],"by":[28,44,207,225],"introducing":[29],"simple":[31],"method":[32],"computing":[34,208],"complement.":[36],"As":[37],"an":[38],"application,":[39],"they":[40,71],"considered":[41],"extraction":[43],"complementation":[45,184],"pair-sharing":[48],"domain":[49,57,213],"PS":[50,74,92],"from":[51],"Jacobs":[53],"Langen's":[55],"set-sharing":[56],"SH":[58,69,95,105,124,131,148],".":[59,132,177],"However,":[60],"since":[61],"result":[63,88],"this":[65,87,200],"operation":[66],"was":[67,75],"still":[68],",":[70,125,127,139],"concluded":[72],"that":[73,83,149,183],"too":[76],"this.":[79],"Here,":[80],"we":[81,140,179],"show":[82],"source":[85],"lies":[89],"not":[90,187],"with":[91,94,99,106,214],"but":[93],"and,":[96],"more":[97],"precisely,":[98],"redundant":[101],"information":[102],"contained":[103],"in":[104],"respect":[107,215],"to":[108,189,199,203,216],"ground-dependencies":[109],"pair-sharing.":[111],"In":[112],"fact,":[113],"proper":[115],"decomposition":[116],"obtained":[118],"if":[119],"non-redundant":[121],"version":[122],"PSD":[126,138,151,165,176],"substituted":[129],"To":[133],"establish":[134],"results":[136],"define":[141],"general":[143],"schema":[144],"subdomains":[146],"includes":[150],"Def":[153,174],"as":[154],"special":[155],"cases.":[156],"This":[157],"sheds":[158],"new":[159],"light":[160],"on":[161],"structure":[163],"exposes":[167],"natural":[169],"though":[170],"unexpected":[171],"connection":[172],"between":[173],"Moreover,":[178],"substantiate":[180],"claim":[182],"alone":[185],"sufficient":[188],"obtain":[190],"truly":[191],"The":[196],"right":[197],"solution":[198],"problem":[201],"first":[204],"remove":[205],"redundancies":[206],"quotient":[210],"observable":[218],"behavior,":[219],"only":[221],"then":[222],"decompose":[223],"it":[224],"complementation.":[226]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}