Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069782013> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2069782013 endingPage "518" @default.
- W2069782013 startingPage "481" @default.
- W2069782013 abstract "The relation between Datalog programs and homomorphism problems and between Datalog programs and bounded treewidth structures has been recognized for some time and given much attention recently. Additionally, the essential role of persistent variables (of program expansions) in solving several relevant problems has also started to be observed. It turns out that to understand the contribution of these persistent variables to the difficulty of some expressibility problems, we need to understand the interrelationship among different notions of persistency numbers , some of which we introduce and/or formalize in the present work.This article is a first foundational study of the various persistency numbers and their interrelationships. To prove the relations among these persistency numbers, we had to develop some nontrivial technical tools that promise to help in proving other interesting results too. More precisely, we define the adorned dependency graph of a program , a useful tool for visualizing sets of persistent variables, and we define automata that recognize persistent sets in expansions.We start by elaborating on finer definitions of expansions and queries, which capture aspects of homomorphism problems on bounded treewidth structures. The main results of this article are (a) a program transformation technique, based on automata-theoretic tools, which manipulates persistent variables (leading, in certain cases, to programs of fewer persistent variables); (b) a categorization of the different roles of persistent variables; this is done by defining four notions of persistency numbers which capture the propagation of persistent variables from a syntactical level to a semantical one; (c) decidability results concerning the syntactical notions of persistency numbers that we have defined; and (d) the exhibition of new classes of programs for which boundedness is undecidable." @default.
- W2069782013 created "2016-06-24" @default.
- W2069782013 creator A5083516466 @default.
- W2069782013 creator A5088568415 @default.
- W2069782013 creator A5090436270 @default.
- W2069782013 date "2005-07-01" @default.
- W2069782013 modified "2023-10-17" @default.
- W2069782013 title "Datalog programs and their persistency numbers" @default.
- W2069782013 cites W1509428113 @default.
- W2069782013 cites W1969330420 @default.
- W2069782013 cites W2001372818 @default.
- W2069782013 cites W2002729873 @default.
- W2069782013 cites W2048685245 @default.
- W2069782013 cites W2076108709 @default.
- W2069782013 cites W2105681750 @default.
- W2069782013 doi "https://doi.org/10.1145/1071596.1071597" @default.
- W2069782013 hasPublicationYear "2005" @default.
- W2069782013 type Work @default.
- W2069782013 sameAs 2069782013 @default.
- W2069782013 citedByCount "6" @default.
- W2069782013 countsByYear W20697820132013 @default.
- W2069782013 crossrefType "journal-article" @default.
- W2069782013 hasAuthorship W2069782013A5083516466 @default.
- W2069782013 hasAuthorship W2069782013A5088568415 @default.
- W2069782013 hasAuthorship W2069782013A5090436270 @default.
- W2069782013 hasConcept C11413529 @default.
- W2069782013 hasConcept C118615104 @default.
- W2069782013 hasConcept C132525143 @default.
- W2069782013 hasConcept C132569581 @default.
- W2069782013 hasConcept C134306372 @default.
- W2069782013 hasConcept C148230440 @default.
- W2069782013 hasConcept C153269930 @default.
- W2069782013 hasConcept C165464430 @default.
- W2069782013 hasConcept C203776342 @default.
- W2069782013 hasConcept C33923547 @default.
- W2069782013 hasConcept C34388435 @default.
- W2069782013 hasConcept C4042151 @default.
- W2069782013 hasConcept C41008148 @default.
- W2069782013 hasConcept C43517604 @default.
- W2069782013 hasConcept C80444323 @default.
- W2069782013 hasConceptScore W2069782013C11413529 @default.
- W2069782013 hasConceptScore W2069782013C118615104 @default.
- W2069782013 hasConceptScore W2069782013C132525143 @default.
- W2069782013 hasConceptScore W2069782013C132569581 @default.
- W2069782013 hasConceptScore W2069782013C134306372 @default.
- W2069782013 hasConceptScore W2069782013C148230440 @default.
- W2069782013 hasConceptScore W2069782013C153269930 @default.
- W2069782013 hasConceptScore W2069782013C165464430 @default.
- W2069782013 hasConceptScore W2069782013C203776342 @default.
- W2069782013 hasConceptScore W2069782013C33923547 @default.
- W2069782013 hasConceptScore W2069782013C34388435 @default.
- W2069782013 hasConceptScore W2069782013C4042151 @default.
- W2069782013 hasConceptScore W2069782013C41008148 @default.
- W2069782013 hasConceptScore W2069782013C43517604 @default.
- W2069782013 hasConceptScore W2069782013C80444323 @default.
- W2069782013 hasIssue "3" @default.
- W2069782013 hasLocation W20697820131 @default.
- W2069782013 hasOpenAccess W2069782013 @default.
- W2069782013 hasPrimaryLocation W20697820131 @default.
- W2069782013 hasRelatedWork W1519337743 @default.
- W2069782013 hasRelatedWork W1875643871 @default.
- W2069782013 hasRelatedWork W2018615281 @default.
- W2069782013 hasRelatedWork W2050719228 @default.
- W2069782013 hasRelatedWork W2069782013 @default.
- W2069782013 hasRelatedWork W2550699029 @default.
- W2069782013 hasRelatedWork W2789288165 @default.
- W2069782013 hasRelatedWork W2970918966 @default.
- W2069782013 hasRelatedWork W3001767841 @default.
- W2069782013 hasRelatedWork W3105392741 @default.
- W2069782013 hasVolume "6" @default.
- W2069782013 isParatext "false" @default.
- W2069782013 isRetracted "false" @default.
- W2069782013 magId "2069782013" @default.
- W2069782013 workType "article" @default.