Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012344401> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2012344401 endingPage "47" @default.
- W2012344401 startingPage "1" @default.
- W2012344401 abstract "Deductive databases are poor at tasks such as planning and design, where one must explore the consequences of hypothetical actions and possibilities. To address this limitation, we have developed a deductive database language in which a user can create hypotheses and draw inferences from them. In earlier work, we established initial results on the complexity and expressibility of this language. In this paper, we establish more comprehensive results by exploring the interaction of negation-as-failure with a natural syntactic restriction called linearity . The main result is a tight connection between intuitionistic logic, database queries, and the polynomial time hierarchy. A tight connection with second-order logic follows as a corollary. First, we show that rulebases in our language fit neatly into a well-established logical framework— intuitionistic logic . Second, we show that linearity reduces their data complexity from PSPACE to NP. Third, we show that negation-as-failure increase their complexity from NP to some level in the polynomial time hierarchy (PHIER). Specifically, linear rulebases with k strata are data complete for ∑ k P , the k th level in the hierarchy. Fourth, we show that linear rulebases express exactly the generic database queries in PHIER. Finally, we characterize the generic queries in ∑ k P in terms of rulebases with k strata. Unlike many other expressibility results in the literature, these results do not depend on the artificial assumption that the data domain is linearly ordered. We thus establish a strong link between two well-established, but previously unrelated areas: intuitionistic logic and the polynomial time hierarchy." @default.
- W2012344401 created "2016-06-24" @default.
- W2012344401 creator A5043022417 @default.
- W2012344401 date "1997-10-01" @default.
- W2012344401 modified "2023-09-27" @default.
- W2012344401 title "Intuitionistic deductive databases and the polynomial time hierarchy" @default.
- W2012344401 cites W1518795075 @default.
- W2012344401 cites W1967187961 @default.
- W2012344401 cites W1970629906 @default.
- W2012344401 cites W1986404405 @default.
- W2012344401 cites W1991670662 @default.
- W2012344401 cites W1998162300 @default.
- W2012344401 cites W2052436826 @default.
- W2012344401 cites W2065251436 @default.
- W2012344401 cites W2083474880 @default.
- W2012344401 cites W2084749326 @default.
- W2012344401 cites W2108911687 @default.
- W2012344401 cites W2126897484 @default.
- W2012344401 cites W2143382644 @default.
- W2012344401 cites W2161609549 @default.
- W2012344401 cites W4239069293 @default.
- W2012344401 cites W4241108585 @default.
- W2012344401 cites W1989935310 @default.
- W2012344401 doi "https://doi.org/10.1016/s0743-1066(96)00107-0" @default.
- W2012344401 hasPublicationYear "1997" @default.
- W2012344401 type Work @default.
- W2012344401 sameAs 2012344401 @default.
- W2012344401 citedByCount "5" @default.
- W2012344401 crossrefType "journal-article" @default.
- W2012344401 hasAuthorship W2012344401A5043022417 @default.
- W2012344401 hasConcept C118615104 @default.
- W2012344401 hasConcept C133142742 @default.
- W2012344401 hasConcept C13355873 @default.
- W2012344401 hasConcept C148230440 @default.
- W2012344401 hasConcept C162324750 @default.
- W2012344401 hasConcept C199360897 @default.
- W2012344401 hasConcept C2185349 @default.
- W2012344401 hasConcept C2524010 @default.
- W2012344401 hasConcept C2776013622 @default.
- W2012344401 hasConcept C2777502361 @default.
- W2012344401 hasConcept C311688 @default.
- W2012344401 hasConcept C31170391 @default.
- W2012344401 hasConcept C33923547 @default.
- W2012344401 hasConcept C34447519 @default.
- W2012344401 hasConcept C39637292 @default.
- W2012344401 hasConcept C41008148 @default.
- W2012344401 hasConcept C80444323 @default.
- W2012344401 hasConceptScore W2012344401C118615104 @default.
- W2012344401 hasConceptScore W2012344401C133142742 @default.
- W2012344401 hasConceptScore W2012344401C13355873 @default.
- W2012344401 hasConceptScore W2012344401C148230440 @default.
- W2012344401 hasConceptScore W2012344401C162324750 @default.
- W2012344401 hasConceptScore W2012344401C199360897 @default.
- W2012344401 hasConceptScore W2012344401C2185349 @default.
- W2012344401 hasConceptScore W2012344401C2524010 @default.
- W2012344401 hasConceptScore W2012344401C2776013622 @default.
- W2012344401 hasConceptScore W2012344401C2777502361 @default.
- W2012344401 hasConceptScore W2012344401C311688 @default.
- W2012344401 hasConceptScore W2012344401C31170391 @default.
- W2012344401 hasConceptScore W2012344401C33923547 @default.
- W2012344401 hasConceptScore W2012344401C34447519 @default.
- W2012344401 hasConceptScore W2012344401C39637292 @default.
- W2012344401 hasConceptScore W2012344401C41008148 @default.
- W2012344401 hasConceptScore W2012344401C80444323 @default.
- W2012344401 hasIssue "1" @default.
- W2012344401 hasLocation W20123444011 @default.
- W2012344401 hasOpenAccess W2012344401 @default.
- W2012344401 hasPrimaryLocation W20123444011 @default.
- W2012344401 hasRelatedWork W1501939853 @default.
- W2012344401 hasRelatedWork W1504200807 @default.
- W2012344401 hasRelatedWork W1717627737 @default.
- W2012344401 hasRelatedWork W1988209510 @default.
- W2012344401 hasRelatedWork W2007014039 @default.
- W2012344401 hasRelatedWork W2012344401 @default.
- W2012344401 hasRelatedWork W2078740210 @default.
- W2012344401 hasRelatedWork W2574530711 @default.
- W2012344401 hasRelatedWork W2951395444 @default.
- W2012344401 hasRelatedWork W2792625648 @default.
- W2012344401 hasVolume "33" @default.
- W2012344401 isParatext "false" @default.
- W2012344401 isRetracted "false" @default.
- W2012344401 magId "2012344401" @default.
- W2012344401 workType "article" @default.