{"id":"https://openalex.org/W2592882683","doi":"https://doi.org/10.1080/01969722.2016.1276777","title":"Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics","display_name":"Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics","publication_year":2017,"publication_date":"2017-03-02","ids":{"openalex":"https://openalex.org/W2592882683","doi":"https://doi.org/10.1080/01969722.2016.1276777","mag":"2592882683"},"language":"en","primary_location":{"id":"doi:10.1080/01969722.2016.1276777","is_oa":false,"landing_page_url":"https://doi.org/10.1080/01969722.2016.1276777","pdf_url":null,"source":{"id":"https://openalex.org/S117436046","display_name":"Cybernetics & Systems","issn_l":"0196-9722","issn":["0196-9722","1087-6553"],"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","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cybernetics and Systems","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/A5017165753","display_name":"Son Thanh Cao","orcid":"https://orcid.org/0000-0002-4771-7856"},"institutions":[{"id":"https://openalex.org/I1315456113","display_name":"Vinh University","ror":"https://ror.org/0244cgm12","country_code":"VN","type":"education","lineage":["https://openalex.org/I1315456113"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Son Thanh Cao","raw_affiliation_strings":["Faculty of Information Technology, Vinh University, Vinh, Nghe An, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Vinh University, Vinh, Nghe An, Vietnam","institution_ids":["https://openalex.org/I1315456113"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055424683","display_name":"Linh Anh Nguyen","orcid":"https://orcid.org/0000-0002-8109-0567"},"institutions":[{"id":"https://openalex.org/I141445968","display_name":"Ton Duc Thang University","ror":"https://ror.org/01drq0835","country_code":"VN","type":"education","lineage":["https://openalex.org/I141445968"]},{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL","VN"],"is_corresponding":true,"raw_author_name":"Linh Anh Nguyen","raw_affiliation_strings":["Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam; Institute of Informatics, University of Warsaw, Warsaw, Poland","Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam","Institute of Informatics, University of Warsaw, Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam; Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I141445968"]},{"raw_affiliation_string":"Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam","institution_ids":["https://openalex.org/I141445968"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047517734","display_name":"Ngoc Thanh Nguy\u00ean","orcid":"https://orcid.org/0000-0002-3247-2948"},"institutions":[{"id":"https://openalex.org/I11923345","display_name":"Wroc\u0142aw University of Science and Technology","ror":"https://ror.org/008fyn775","country_code":"PL","type":"education","lineage":["https://openalex.org/I11923345"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Ngoc Thanh Nguyen","raw_affiliation_strings":["Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055424683"],"corresponding_institution_ids":["https://openalex.org/I141445968","https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02074516,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"48","issue":"3","first_page":"249","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9976999759674072,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7579789757728577},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.5589506030082703},{"id":"https://openalex.org/keywords/deductive-database","display_name":"Deductive database","score":0.533438503742218},{"id":"https://openalex.org/keywords/magic","display_name":"MAGIC (telescope)","score":0.5256919860839844},{"id":"https://openalex.org/keywords/swift","display_name":"Swift","score":0.5066691040992737},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47450727224349976},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45491623878479004},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4438358247280121},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4378272593021393},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.41429242491722107},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39523494243621826},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33930984139442444},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3301914930343628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7579789757728577},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5589506030082703},{"id":"https://openalex.org/C2777502361","wikidata":"https://www.wikidata.org/wiki/Q1182254","display_name":"Deductive database","level":2,"score":0.533438503742218},{"id":"https://openalex.org/C2777704519","wikidata":"https://www.wikidata.org/wiki/Q45732","display_name":"MAGIC (telescope)","level":2,"score":0.5256919860839844},{"id":"https://openalex.org/C116188536","wikidata":"https://www.wikidata.org/wiki/Q17118377","display_name":"Swift","level":2,"score":0.5066691040992737},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47450727224349976},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45491623878479004},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4438358247280121},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4378272593021393},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.41429242491722107},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39523494243621826},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33930984139442444},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3301914930343628},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/01969722.2016.1276777","is_oa":false,"landing_page_url":"https://doi.org/10.1080/01969722.2016.1276777","pdf_url":null,"source":{"id":"https://openalex.org/S117436046","display_name":"Cybernetics & Systems","issn_l":"0196-9722","issn":["0196-9722","1087-6553"],"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","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cybernetics and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W952912538","https://openalex.org/W1968513265","https://openalex.org/W1978108034","https://openalex.org/W1991245451","https://openalex.org/W1991304154","https://openalex.org/W2010904739","https://openalex.org/W2024612361","https://openalex.org/W2026433347","https://openalex.org/W2031868932","https://openalex.org/W2034019663","https://openalex.org/W2034075659","https://openalex.org/W2075835333","https://openalex.org/W2100264125","https://openalex.org/W2140566812","https://openalex.org/W2164475654","https://openalex.org/W2309727876","https://openalex.org/W2429747623","https://openalex.org/W3101818928","https://openalex.org/W4206031975","https://openalex.org/W4206370914","https://openalex.org/W4212881215"],"related_works":["https://openalex.org/W1565767456","https://openalex.org/W4242285398","https://openalex.org/W2593015871","https://openalex.org/W1582387176","https://openalex.org/W2583213513","https://openalex.org/W1532845068","https://openalex.org/W2474462291","https://openalex.org/W2184636143","https://openalex.org/W2793596619","https://openalex.org/W1486370855"],"abstract_inverted_index":{"We":[0],"propose":[1],"a":[2,212],"method,":[3],"called":[4],"QSQN-WF,":[5],"for":[6,36],"evaluating":[7],"queries":[8,77],"to":[9,39,161,215],"Datalog\u00ac":[10],"databases":[11],"under":[12,78],"the":[13,18,40,53,79,102,106,186,208,219,234,243],"well-founded":[14,80,131,244],"semantics.":[15,81],"It":[16,237],"is":[17,22,93,238],"first":[19,47],"one":[20,54],"that":[21],"set-at-a-time":[23,220],"and":[24,43,61,68,112,120,127,148,167,190,218,225,240,246],"strictly":[25,193],"goal-directed":[26,194],"w.r.t.":[27,195,242],"SLS-resolution":[28],"defined":[29],"by":[30,58,109],"Przymusinski.":[31],"These":[32],"properties":[33],"are":[34,191],"important":[35],"reducing":[37],"accesses":[38],"secondary":[41],"storage":[42],"redundant":[44,223],"computations.":[45],"The":[46,95],"property":[48,97],"distinguishes":[49,98],"our":[50,99],"method":[51,100,198],"from":[52,101],"based":[55,104],"on":[56,105,207],"SLG-resolution":[57],"Chen,":[59,64],"Swift,":[60,67],"Warren":[62],"(1995":[63,114],"W.,":[65],"T.":[66],"D.":[69,116,118],"S.":[70,152],"Warren.":[71],"1995.":[72,124],"Efficient":[73],"top-down":[74],"computation":[75],"of":[76,83,130,142,156,165,174,233],"Journal":[82,164],"Logic":[84],"Programming":[85],"24":[86],"(3):161\u201399.":[87],"doi:10.1016/0743-1066(94)00028-5[Crossref]":[88],",":[89,145,177],"[Google":[90,146,178],"Scholar])":[91,147],"(which":[92],"tuple-at-a-time).":[94],"second":[96],"ones":[103],"magic-sets":[107],"transformation":[108],"Kemp,":[110,115],"Srivastava,":[111,119],"Stuckey":[113],"B.,":[117],"P.":[121],"J.":[122],"Stuckey.":[123],"Bottom-up":[125],"evaluation":[126],"query":[128],"optimization":[129],"models.":[132],"Theoretical":[133],"Computer":[134,166],"Science":[135,143,175],"146":[136],"(1":[137],"&":[138],"2):145\u201384.":[139],"doi:10.1016/0304-3975(94)00153-a[Crossref],":[140],"[Web":[141,173],"\u00ae]":[144,176],"Morishita":[149],"(1996":[150],"Morishita,":[151],"1996.":[153],"An":[154],"extension":[155],"Van":[157,202],"Gelder's":[158],"alternating":[159,204],"fixpoint":[160,205],"magic":[162,182],"programs.":[163],"System":[168],"Sciences":[169],"52":[170],"(3):506\u201321.":[171],"doi:10.1006/jcss.1996.0038[Crossref],":[172],"Scholar]),":[179],"which":[180],"use":[181],"atoms":[183],"not":[184,192],"in":[185],"most":[187],"appropriate":[188],"way":[189],"SLS-resolution.":[196],"Our":[197],"follows":[199],"SLS-resolution,":[200],"with":[201],"Gelder\u2019s":[203],"semantics":[206,245],"background,":[209],"but":[210],"uses":[211],"query-subquery":[213],"net":[214],"implement":[216],"tabulation":[217],"technique,":[221],"reduce":[222],"computations,":[224],"allow":[226],"any":[227],"control":[228],"strategy":[229],"within":[230],"each":[231],"iteration":[232],"main":[235],"loop.":[236],"sound":[239],"complete":[241],"has":[247],"PTIME":[248],"data":[249],"complexity.":[250]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-15T07:11:24.734988","created_date":"2025-10-10T00:00:00"}