{"id":"https://openalex.org/W2613523512","doi":"https://doi.org/10.1145/3034786.3034794","title":"Stable Model Semantics for Tuple-Generating Dependencies Revisited","display_name":"Stable Model Semantics for Tuple-Generating Dependencies Revisited","publication_year":2017,"publication_date":"2017-05-09","ids":{"openalex":"https://openalex.org/W2613523512","doi":"https://doi.org/10.1145/3034786.3034794","mag":"2613523512"},"language":"en","primary_location":{"id":"doi:10.1145/3034786.3034794","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/files/31832886/PODS_17_1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039882261","display_name":"Mario Alviano","orcid":"https://orcid.org/0000-0002-2052-2063"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mario Alviano","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050387054","display_name":"Michael Morak","orcid":"https://orcid.org/0000-0002-2077-7672"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Michael Morak","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067962748","display_name":"Andr\u00e9as Pieris","orcid":"https://orcid.org/0000-0003-4779-3469"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andreas Pieris","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8294,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.77140508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"377","last_page":"388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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.9973999857902527,"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/negation","display_name":"Negation","score":0.7155259251594543},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6927111744880676},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.6879075169563293},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6621949076652527},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.6469820737838745},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.589293360710144},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.5749197006225586},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5129703879356384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.505129873752594},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4778263568878174},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.4589686095714569},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.40250128507614136},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32341641187667847},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23783966898918152},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19210708141326904},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.14612722396850586}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7155259251594543},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6927111744880676},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.6879075169563293},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6621949076652527},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.6469820737838745},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.589293360710144},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.5749197006225586},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5129703879356384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.505129873752594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4778263568878174},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.4589686095714569},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.40250128507614136},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32341641187667847},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23783966898918152},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19210708141326904},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.14612722396850586}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3034786.3034794","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3034786.3034794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/32852aa1-e9d1-4292-a55a-9e111fb73b60","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/32852aa1-e9d1-4292-a55a-9e111fb73b60","pdf_url":"https://www.research.ed.ac.uk/files/31832886/PODS_17_1.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Alviano, M, Morak, M & Pieris, A 2017, Stable Model Semantics for Tuple-Generating Dependencies Revisited. in PODS '17 Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. pp. 377-388, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems , New York, United States, 14/05/17. https://doi.org/10.1145/3034786.3034794","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:publications/32852aa1-e9d1-4292-a55a-9e111fb73b60","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?doid=3034786.3034794","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:publications/32852aa1-e9d1-4292-a55a-9e111fb73b60","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/32852aa1-e9d1-4292-a55a-9e111fb73b60","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Alviano, M, Morak, M & Pieris, A 2017, Stable Model Semantics for Tuple-Generating Dependencies Revisited. in PODS '17 Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. pp. 377-388, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems , New York, United States, 14/05/17. https://doi.org/10.1145/3034786.3034794","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/32852aa1-e9d1-4292-a55a-9e111fb73b60","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/32852aa1-e9d1-4292-a55a-9e111fb73b60","pdf_url":"https://www.research.ed.ac.uk/files/31832886/PODS_17_1.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Alviano, M, Morak, M & Pieris, A 2017, Stable Model Semantics for Tuple-Generating Dependencies Revisited. in PODS '17 Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. pp. 377-388, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems , New York, United States, 14/05/17. https://doi.org/10.1145/3034786.3034794","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2771178561","display_name":null,"funder_award_id":"F/020016/01-02/X27","funder_id":"https://openalex.org/F4320324632","funder_display_name":"Ministero dello Sviluppo Economico"},{"id":"https://openalex.org/G5458651130","display_name":null,"funder_award_id":"M025268","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G709405858","display_name":null,"funder_award_id":"PON03PE_ 00001_1","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G8891597062","display_name":null,"funder_award_id":"EP/M025268/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320324632","display_name":"Ministero dello Sviluppo Economico","ror":"https://ror.org/011z3ff80"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2613523512.pdf","grobid_xml":"https://content.openalex.org/works/W2613523512.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1483892218","https://openalex.org/W1509511777","https://openalex.org/W1569370144","https://openalex.org/W1672891595","https://openalex.org/W1746884077","https://openalex.org/W1824207140","https://openalex.org/W1925597182","https://openalex.org/W1968513265","https://openalex.org/W1983988737","https://openalex.org/W1988045490","https://openalex.org/W1993268751","https://openalex.org/W2001399171","https://openalex.org/W2005605940","https://openalex.org/W2028222220","https://openalex.org/W2029695031","https://openalex.org/W2040566369","https://openalex.org/W2051741066","https://openalex.org/W2065546707","https://openalex.org/W2087432892","https://openalex.org/W2094004349","https://openalex.org/W2094403718","https://openalex.org/W2102729564","https://openalex.org/W2134039900","https://openalex.org/W2148096737","https://openalex.org/W2201043149","https://openalex.org/W2269415408","https://openalex.org/W2295882966","https://openalex.org/W2405084499","https://openalex.org/W2945259913","https://openalex.org/W3023186102","https://openalex.org/W6637298476"],"related_works":["https://openalex.org/W1572426677","https://openalex.org/W40570767","https://openalex.org/W2755706355","https://openalex.org/W118508415","https://openalex.org/W2113956592","https://openalex.org/W2295882966","https://openalex.org/W1626176828","https://openalex.org/W1547373047","https://openalex.org/W2086560466","https://openalex.org/W1990759781"],"abstract_inverted_index":{"Normal":[0],"tuple-generating":[1],"dependencies":[2],"(NTGDs)":[3],"are":[4,86],"TGDs":[5],"enriched":[6],"with":[7,172],"default":[8,126],"negation,":[9],"a.k.a.":[10],"negation":[11,19,127],"as":[12,112],"failure.":[13],"Query":[14],"answering":[15,212],"under":[16,213],"NTGDs,":[17,137],"where":[18],"is":[20,28,109,119,167],"interpreted":[21],"according":[22],"to":[23,36,78,93,131,145,157,162,170,236,246],"the":[24,41,49,68,71,79,82,100,116,123,133,139,147,150,155,197,200,220,254,258],"stable":[25,102,163,187],"model":[26,103,164],"semantics,":[27],"an":[29,63,159,179,206],"intriguing":[30],"new":[31],"problem":[32],"that":[33,52,61,166,243],"gave":[34],"rise":[35,235],"flourishing":[37],"research":[38],"activity":[39],"in":[40,115,122,189,248,253],"database":[42],"and":[43,98,229,238],"KR":[44],"communities.":[45],"So":[46],"far,":[47],"all":[48],"existing":[50],"works":[51],"investigate":[53],"this":[54],"problem,":[55],"except":[56],"for":[57,105,224],"one":[58],"recent":[59,184],"paper":[60],"adopts":[62],"operational":[64,140],"semantics":[65,104,141,165],"based":[66,181,218],"on":[67,182,219],"chase,":[69],"follow":[70],"so-called":[72],"logic":[73,96,107],"programming":[74],"(LP)":[75],"approach.":[76,152,202],"According":[77],"LP":[80,151,201],"approach,":[81],"existentially":[83,173],"quantified":[84,174],"variables":[85],"first":[87],"eliminated":[88],"via":[89],"Skolemization,":[90],"which":[91,194],"leads":[92],"a":[94,183,249],"normal":[95,106],"program,":[97],"then":[99,204],"standard":[101],"programs":[108],"applied.":[110],"However,":[111],"we":[113],"discuss":[114],"paper,":[117],"Skolemization":[118],"not":[120],"appropriate":[121],"presence":[124],"of":[125,136,149,186,191,199,210,216,257],"since":[128],"it":[129],"fails":[130,144],"capture":[132],"intended":[134],"meaning":[135],"while":[138],"mentioned":[142],"above":[143],"overcome":[146],"limitations":[148,198],"This":[153],"reveals":[154],"need":[156],"adopt":[158],"alternative":[160],"approach":[161,180],"directly":[168],"applicable":[169],"NTGDs":[171,217,233],"variables.":[175],"We":[176,203],"propose":[177],"such":[178],"characterization":[185],"models":[188],"terms":[190],"second-order":[192],"logic,":[193],"indeed":[195],"overcomes":[196],"perform":[205],"in-depth":[207],"complexity":[208],"analysis":[209],"query":[211,241],"prominent":[214],"classes":[215],"main":[221],"decidability":[222],"paradigms":[223],"TGDs,":[225],"namely":[226],"weak-acyclicity,":[227],"guardedness":[228],"stickiness.":[230],"Interestingly,":[231],"weakly-acyclic":[232],"give":[234],"robust":[237],"highly":[239],"expressive":[240],"languages":[242],"allow":[244],"us":[245],"solve":[247],"declarative":[250],"way":[251],"problems":[252],"second":[255],"level":[256],"polynomial":[259],"hierarchy.":[260]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}