{"id":"https://openalex.org/W2024709333","doi":"https://doi.org/10.1080/0020716031000079509","title":"Querying Weak Instances Under Extension Chase Semantics: A Complete Solution","display_name":"Querying Weak Instances Under Extension Chase Semantics: A Complete Solution","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W2024709333","doi":"https://doi.org/10.1080/0020716031000079509","mag":"2024709333"},"language":"en","primary_location":{"id":"doi:10.1080/0020716031000079509","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0020716031000079509","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","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/A5050019723","display_name":"Dominique Laurent","orcid":"https://orcid.org/0000-0002-7264-9576"},"institutions":[{"id":"https://openalex.org/I110017253","display_name":"Universit\u00e9 de Tours","ror":"https://ror.org/02wwzvj46","country_code":"FR","type":"education","lineage":["https://openalex.org/I110017253"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"D. Laurent","raw_affiliation_strings":["a   LI , Universit\u00e9 F. Rabelais de Tours , 3, place Jean Jaur\u00e9s,  Blois ,  F-41000 ,  France"],"affiliations":[{"raw_affiliation_string":"a   LI , Universit\u00e9 F. Rabelais de Tours , 3, place Jean Jaur\u00e9s,  Blois ,  F-41000 ,  France","institution_ids":["https://openalex.org/I110017253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103346403","display_name":"V. Phan Luong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V. Phan Luong","raw_affiliation_strings":["b   LIM , Universit\u00e9 de Provence , 39, Joliot-Curie, ESA 6077, C.M.I.,  Cedex 13 ,  F-13453 ,  France"],"affiliations":[{"raw_affiliation_string":"b   LIM , Universit\u00e9 de Provence , 39, Joliot-Curie, ESA 6077, C.M.I.,  Cedex 13 ,  F-13453 ,  France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034372518","display_name":"Nicolas Spyratos","orcid":"https://orcid.org/0000-0002-3432-8608"},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"N. Spyratos","raw_affiliation_strings":["c   LRI , Universit\u00e9 de Paris-Sud ,  Orsay Cedex ,  F-91405 ,  France"],"affiliations":[{"raw_affiliation_string":"c   LRI , Universit\u00e9 de Paris-Sud ,  Orsay Cedex ,  F-91405 ,  France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I102197404","https://openalex.org/I4210144804"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050019723"],"corresponding_institution_ids":["https://openalex.org/I110017253"],"apc_list":null,"apc_paid":null,"fwci":0.2361,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61851586,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"80","issue":"5","first_page":"591","last_page":"613"},"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.9994999766349792,"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.9994999766349792,"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.9983999729156494,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9983000159263611,"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/extension","display_name":"Extension (predicate logic)","score":0.8361649513244629},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6606302857398987},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6302922964096069},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4114059805870056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37636277079582214},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3656389117240906},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36270952224731445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34516090154647827},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33465123176574707},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16653847694396973}],"concepts":[{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.8361649513244629},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6606302857398987},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6302922964096069},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4114059805870056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37636277079582214},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3656389117240906},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36270952224731445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34516090154647827},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33465123176574707},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16653847694396973}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/0020716031000079509","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0020716031000079509","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W29393367","https://openalex.org/W180578187","https://openalex.org/W1530947021","https://openalex.org/W1591913876","https://openalex.org/W1969642268","https://openalex.org/W1971267436","https://openalex.org/W1973125170","https://openalex.org/W1983428002","https://openalex.org/W1985581502","https://openalex.org/W1989522453","https://openalex.org/W1991408691","https://openalex.org/W1995787994","https://openalex.org/W1998512182","https://openalex.org/W2028222220","https://openalex.org/W2029819625","https://openalex.org/W2044827812","https://openalex.org/W2053741160","https://openalex.org/W2058667541","https://openalex.org/W2065089526","https://openalex.org/W2079075708","https://openalex.org/W2091478535","https://openalex.org/W2103965620","https://openalex.org/W2113633436","https://openalex.org/W2114942724","https://openalex.org/W2115822498","https://openalex.org/W2133566171","https://openalex.org/W2140136514","https://openalex.org/W2144849616","https://openalex.org/W2146899290","https://openalex.org/W2162621793","https://openalex.org/W2914534446","https://openalex.org/W4247092720"],"related_works":["https://openalex.org/W2075768550","https://openalex.org/W3022218857","https://openalex.org/W2369178846","https://openalex.org/W2082716031","https://openalex.org/W2370289839","https://openalex.org/W2933494595","https://openalex.org/W1568049691","https://openalex.org/W2042560047","https://openalex.org/W2788308474","https://openalex.org/W2991618286"],"abstract_inverted_index":{"The":[0,147],"problem":[1,32],"of":[2,25,33,59,120,145],"computing":[3,34],"windows":[4,35],"using":[5],"relational":[6],"expressions":[7],"has":[8],"been":[9],"solved":[10],"only":[11,130,135],"in":[12,15,71,102,124,142],"certain":[13],"cases":[14,101],"which":[16,103],"the":[17,21,26,30,60,72,82,87,108,118,125,143],"chase":[18,23,38,42,65],"semantics":[19,24,39],"and":[20,98,134],"extension":[22,41,64],"database":[27,83,88],"coincide.":[28],"However,":[29],"general":[31,61],"under":[36,63],"either":[37],"or":[40,85],"semantics,":[43],"but":[44],"without":[45],"restrictions,":[46],"remained":[47],"an":[48],"open":[49],"problem.":[50],"In":[51],"this":[52],"paper":[53],"we":[54,99],"present":[55],"a":[56,155],"complete":[57,70],"solution":[58,68],"problem,":[62],"semantics.":[66],"Our":[67],"is":[69,154],"sense":[73],"that":[74,92,127,139],"it":[75,128],"does":[76],"not":[77],"require":[78],"any":[79],"assumption":[80],"on":[81,86],"scheme":[84],"state.":[89],"It":[90],"follows":[91],"our":[93,104,121,152],"approach":[94,105,122,153],"subsumes":[95],"previous":[96,111],"approaches,":[97],"exhibit":[100],"correctly":[106],"computes":[107],"windows,":[109],"while":[110],"approaches":[112],"fail":[113],"to":[114],"do":[115],"so.":[116],"Moreover,":[117],"efficiency":[119],"lies":[123],"fact":[126],"uses":[129],"those":[131,136],"relation":[132],"schemes":[133],"functional":[137],"dependencies":[138],"are":[140],"necessary":[141],"computation":[144],"windows.":[146],"main":[148],"technique":[149],"employed":[150],"by":[151],"least":[156],"fixpoint":[157],"construction":[158],"u...":[159]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}