{"id":"https://openalex.org/W7217008690","doi":null,"title":"Querying Data Exchange Settings beyond Positive Queries","display_name":"Querying Data Exchange Settings beyond Positive Queries","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W7217008690"},"language":"en","primary_location":{"id":"pmh:oai:iris.unical.it:20.500.11770/338058","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11770/338058","pdf_url":null,"source":{"id":"https://openalex.org/S4377196898","display_name":"Archive of Doctoral Theses and Digital Collections (University of Calabria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45204951","host_organization_name":"University of Calabria","host_organization_lineage":["https://openalex.org/I45204951"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"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/A5066005299","display_name":"Marco Calautti","orcid":"https://orcid.org/0000-0003-0921-4040","observed_orcids":["https://orcid.org/0000-0003-0921-4040"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Calautti M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5154939603","display_name":"S. and Greco","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Greco S.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039727555","display_name":"Cristian Molinaro","orcid":"https://orcid.org/0000-0003-4103-1084","observed_orcids":["https://orcid.org/0000-0003-4103-1084"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Molinaro C.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5156298423","display_name":"Trubitsyna I.","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Trubitsyna I.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.7124000191688538,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7124000191688538,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.1995999962091446,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.013000000268220901,"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/data-exchange","display_name":"data exchange","score":0.9919999837875366},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.8529999852180481},{"id":"https://openalex.org/keywords/conp-completeness","display_name":"coNP-completeness","score":0.9580000042915344},{"id":"https://openalex.org/keywords/universal-solutions","display_name":"universal solutions","score":0.7429999709129333},{"id":"https://openalex.org/keywords/approximate-query-answers","display_name":"approximate query answers","score":0.7289999723434448},{"id":"https://openalex.org/keywords/schema-mapping","display_name":"schema mapping","score":0.37400001287460327}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7214999794960022},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7087000012397766},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.5909000039100647},{"id":"https://openalex.org/C101097943","wikidata":"https://www.wikidata.org/wiki/Q5176983","display_name":"Counterintuitive","level":2,"score":0.5180000066757202},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5139999985694885},{"id":"https://openalex.org/C15845906","wikidata":"https://www.wikidata.org/wiki/Q1172338","display_name":"Data exchange","level":2,"score":0.4943000078201294},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.459199994802475},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.45080000162124634},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.38269999623298645},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.36090001463890076},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.28700000047683716},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C72634772","wikidata":"https://www.wikidata.org/wiki/Q386824","display_name":"Data integration","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C61151141","wikidata":"https://www.wikidata.org/wiki/Q7249983","display_name":"Proof-theoretic semantics","level":5,"score":0.25760000944137573},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:iris.unical.it:20.500.11770/338058","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11770/338058","pdf_url":null,"source":{"id":"https://openalex.org/S4377196898","display_name":"Archive of Doctoral Theses and Digital Collections (University of Calabria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45204951","host_organization_name":"University of Calabria","host_organization_lineage":["https://openalex.org/I45204951"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2102729564","https://openalex.org/W1968327952","https://openalex.org/W4233495035","https://openalex.org/W2899566057","https://openalex.org/W2163009148","https://openalex.org/W7099815063","https://openalex.org/W2272695868","https://openalex.org/W7100129546","https://openalex.org/W1998510030","https://openalex.org/W2590285427"],"abstract_inverted_index":{"Data":[0],"exchange,":[1],"the":[2,28,63,82,115,125,156,164,170,180],"problem":[3],"of":[4,23,94,141,143,182,203],"transferring":[5],"data":[6,85,104],"from":[7],"a":[8,12,100,183,191],"source":[9],"schema":[10,30],"to":[11,43,71,98,109,122,134,190],"target":[13,29,185],"schema,":[14],"has":[15,31,40],"been":[16,32,41],"studied":[17],"for":[18,51,81,103,179,198],"several":[19],"years.":[20],"The":[21,92],"semantics":[22,49,65,102,121,177],"answering":[24,78,150],"positive":[25,67,131],"queries":[26,54],"over":[27],"defined":[33],"in":[34,139,153,169,188],"early":[35],"works,":[36],"but":[37,56,159],"little":[38],"attention":[39],"paid":[42],"more":[44,52],"general":[45,53,112,154],"queries.":[46,113],"A":[47],"few":[48],"proposals":[50],"exist":[55],"they":[57,75],"either":[58],"do":[59],"not":[60,135],"properly":[61],"extend":[62],"standard":[64],"under":[66,155],"queries,":[68,132],"giving":[69],"rise":[70],"counterintuitive":[72],"answers,":[73,201],"or":[74],"make":[76],"query":[77,144,149],"undecidable":[79,152],"even":[80],"most":[83],"important":[84],"exchange":[86,105],"settings,":[87],"e.g.,":[88],"with":[89,111,124],"weakly-acyclic":[90],"dependencies.":[91],"goal":[93],"this":[95],"paper":[96],"is":[97,107,151,161],"provide":[99],"new":[101,157],"that":[106,148,175,194],"able":[108],"deal":[110],"At":[114],"same":[116],"time,":[117],"we":[118,173],"want":[119],"our":[120,176],"coincide":[123],"classical":[126],"one":[127],"when":[128,163],"focusing":[129],"on":[130],"and":[133],"trade-off":[136],"too":[137],"much":[138],"terms":[140],"complexity":[142],"answering.":[145],"We":[146],"show":[147,174],"semantics,":[158],"it":[160],"coNP-complete":[162],"dependencies":[165],"are":[166],"weakly-acyclic.":[167],"Moreover,":[168],"latter":[171],"case,":[172],"allow":[178],"construction":[181],"representative":[184],"instance,":[186],"similar":[187],"spirit":[189],"universal":[192],"solution,":[193],"can":[195],"be":[196],"exploited":[197],"computing":[199],"approximate":[200],"instead":[202],"exact":[204],"ones.":[205]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2026-10-03T00:00:00"}