Matches in SemOpenAlex for { <https://semopenalex.org/work/W1584948401> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1584948401 endingPage "519" @default.
- W1584948401 startingPage "509" @default.
- W1584948401 abstract "AbstractAfter two decades of research in Deductive Databases, SQL99 [12] brings them again to the foreground given that SQL99 includes queries with linear recursion. Therefore some of the problems solved for the relational model demand our attention again.In this paper, we tackle the implication of functional dependencies (also known as the FD-FD implication problem) in the deductive model framework. The problem is as follows. GivenP, F, andf, whereP is a Datalog program, Fis a set of functional dependencies defined on the predicates of P, andf is a fd defined over the predicates of P, is it true that for all databasesd defined exclusively on the extensional predicates ofP, dsatisfies Fimplies that P( d) –the output database– satisfies f. Unlike the implication problem of functional dependencies in the relational data model, this problem is undecidable for general Datalog programs.In this paper, we provide two methods to check if a given set of fds will be satisfied by the output database (without computing such database) for a class of Datalog programs.KeywordsFunctional DependencyIntegrity ConstraintDeductive DatabaseArgument PositionRecursive RuleThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1584948401 created "2016-06-24" @default.
- W1584948401 creator A5022292980 @default.
- W1584948401 creator A5027984124 @default.
- W1584948401 creator A5049702351 @default.
- W1584948401 creator A5081112961 @default.
- W1584948401 date "2004-01-01" @default.
- W1584948401 modified "2023-09-23" @default.
- W1584948401 title "Implication of Functional Dependencies for Recursive Queries" @default.
- W1584948401 cites W1985581502 @default.
- W1584948401 cites W2028222220 @default.
- W1584948401 cites W2032386524 @default.
- W1584948401 cites W2045055138 @default.
- W1584948401 cites W4230287978 @default.
- W1584948401 cites W4244477654 @default.
- W1584948401 cites W4249074392 @default.
- W1584948401 cites W63001833 @default.
- W1584948401 doi "https://doi.org/10.1007/978-3-540-39866-0_49" @default.
- W1584948401 hasPublicationYear "2004" @default.
- W1584948401 type Work @default.
- W1584948401 sameAs 1584948401 @default.
- W1584948401 citedByCount "4" @default.
- W1584948401 countsByYear W15849484012017 @default.
- W1584948401 countsByYear W15849484012018 @default.
- W1584948401 crossrefType "book-chapter" @default.
- W1584948401 hasAuthorship W1584948401A5022292980 @default.
- W1584948401 hasAuthorship W1584948401A5027984124 @default.
- W1584948401 hasAuthorship W1584948401A5049702351 @default.
- W1584948401 hasAuthorship W1584948401A5081112961 @default.
- W1584948401 hasConcept C168773036 @default.
- W1584948401 hasConcept C199360897 @default.
- W1584948401 hasConcept C23123220 @default.
- W1584948401 hasConcept C26320393 @default.
- W1584948401 hasConcept C2777502361 @default.
- W1584948401 hasConcept C2989070954 @default.
- W1584948401 hasConcept C41008148 @default.
- W1584948401 hasConcept C5655090 @default.
- W1584948401 hasConcept C80444323 @default.
- W1584948401 hasConceptScore W1584948401C168773036 @default.
- W1584948401 hasConceptScore W1584948401C199360897 @default.
- W1584948401 hasConceptScore W1584948401C23123220 @default.
- W1584948401 hasConceptScore W1584948401C26320393 @default.
- W1584948401 hasConceptScore W1584948401C2777502361 @default.
- W1584948401 hasConceptScore W1584948401C2989070954 @default.
- W1584948401 hasConceptScore W1584948401C41008148 @default.
- W1584948401 hasConceptScore W1584948401C5655090 @default.
- W1584948401 hasConceptScore W1584948401C80444323 @default.
- W1584948401 hasLocation W15849484011 @default.
- W1584948401 hasOpenAccess W1584948401 @default.
- W1584948401 hasPrimaryLocation W15849484011 @default.
- W1584948401 hasRelatedWork W2085568642 @default.
- W1584948401 hasRelatedWork W2094394144 @default.
- W1584948401 hasRelatedWork W2136421307 @default.
- W1584948401 hasRelatedWork W2391162371 @default.
- W1584948401 hasRelatedWork W2401248940 @default.
- W1584948401 hasRelatedWork W2754643101 @default.
- W1584948401 hasRelatedWork W2926816154 @default.
- W1584948401 hasRelatedWork W2962726756 @default.
- W1584948401 hasRelatedWork W2963364464 @default.
- W1584948401 hasRelatedWork W2522044882 @default.
- W1584948401 isParatext "false" @default.
- W1584948401 isRetracted "false" @default.
- W1584948401 magId "1584948401" @default.
- W1584948401 workType "book-chapter" @default.