Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569370144> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1569370144 endingPage "85" @default.
- W1569370144 startingPage "73" @default.
- W1569370144 abstract "In this paper we study the implication and the finite implication problems for data dependencies. When all dependencies are total the problems are equivalent and solvable but are NP-hard, i.e., probably computationally intractable. For non-total dependencies the implication problem is unsolvable, and the finite implication problem is not even partially solvable. Thus, there can be no formal system for finite implication. The meta decision problems of deciding for a given class of dependencies whether the implication problem is solvable or whether implication is equivalent to finite implication are also unsolvable." @default.
- W1569370144 created "2016-06-24" @default.
- W1569370144 creator A5000059818 @default.
- W1569370144 creator A5003271781 @default.
- W1569370144 date "1981-01-01" @default.
- W1569370144 modified "2023-10-14" @default.
- W1569370144 title "The implication problem for data dependencies" @default.
- W1569370144 cites W1569370144 @default.
- W1569370144 cites W1968137129 @default.
- W1569370144 cites W1985581502 @default.
- W1569370144 cites W1999133515 @default.
- W1569370144 cites W2011368623 @default.
- W1569370144 cites W2012428008 @default.
- W1569370144 cites W2015611106 @default.
- W1569370144 cites W2018189786 @default.
- W1569370144 cites W2023663289 @default.
- W1569370144 cites W2032386524 @default.
- W1569370144 cites W2045486626 @default.
- W1569370144 cites W2110810394 @default.
- W1569370144 cites W2135105491 @default.
- W1569370144 cites W2157799273 @default.
- W1569370144 cites W2162068127 @default.
- W1569370144 cites W2293278495 @default.
- W1569370144 cites W2328824725 @default.
- W1569370144 cites W2333555861 @default.
- W1569370144 cites W2401610261 @default.
- W1569370144 doi "https://doi.org/10.1007/3-540-10843-2_7" @default.
- W1569370144 hasPublicationYear "1981" @default.
- W1569370144 type Work @default.
- W1569370144 sameAs 1569370144 @default.
- W1569370144 citedByCount "175" @default.
- W1569370144 countsByYear W15693701442012 @default.
- W1569370144 countsByYear W15693701442013 @default.
- W1569370144 countsByYear W15693701442014 @default.
- W1569370144 countsByYear W15693701442015 @default.
- W1569370144 countsByYear W15693701442016 @default.
- W1569370144 countsByYear W15693701442017 @default.
- W1569370144 countsByYear W15693701442018 @default.
- W1569370144 countsByYear W15693701442019 @default.
- W1569370144 countsByYear W15693701442020 @default.
- W1569370144 countsByYear W15693701442021 @default.
- W1569370144 countsByYear W15693701442022 @default.
- W1569370144 countsByYear W15693701442023 @default.
- W1569370144 crossrefType "book-chapter" @default.
- W1569370144 hasAuthorship W1569370144A5000059818 @default.
- W1569370144 hasAuthorship W1569370144A5003271781 @default.
- W1569370144 hasBestOaLocation W15693701441 @default.
- W1569370144 hasConcept C41008148 @default.
- W1569370144 hasConceptScore W1569370144C41008148 @default.
- W1569370144 hasLocation W15693701441 @default.
- W1569370144 hasOpenAccess W1569370144 @default.
- W1569370144 hasPrimaryLocation W15693701441 @default.
- W1569370144 hasRelatedWork W2049775471 @default.
- W1569370144 hasRelatedWork W2093578348 @default.
- W1569370144 hasRelatedWork W2350741829 @default.
- W1569370144 hasRelatedWork W2358668433 @default.
- W1569370144 hasRelatedWork W2376932109 @default.
- W1569370144 hasRelatedWork W2382290278 @default.
- W1569370144 hasRelatedWork W2390279801 @default.
- W1569370144 hasRelatedWork W2748952813 @default.
- W1569370144 hasRelatedWork W2899084033 @default.
- W1569370144 hasRelatedWork W3004735627 @default.
- W1569370144 isParatext "false" @default.
- W1569370144 isRetracted "false" @default.
- W1569370144 magId "1569370144" @default.
- W1569370144 workType "book-chapter" @default.