Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533625119> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1533625119 endingPage "600" @default.
- W1533625119 startingPage "591" @default.
- W1533625119 abstract "Integrity checking for stratifiable deductive databases has been studied by many authors. In order to handle recursive relations, most of these methods adopt update driven approach to validate each given constraint. These methods start their algorithm from the given update and perform some operations (refutations) until it reaches the constraint formula. However, when the update is irrelevant to the constraint, these methods still perform their operations only to find that the constraint formula cannot be violated. In this case considerable effort is wasted. In this paper, we shall explore this problem and propose a set called relevant-set which can be incorporated with most of these existing constraint checking methods, to detect some of these unnecessary checkings. The relevant-set needs only to be calculated once for each integrity constraint. Furthermore, the set can also take advantage of some evaluable functions in the constraint and rules so that more unnecessary checkings can be detected.KeywordsIntegrity ConstraintPredicate SymbolConstraint EvaluationDeductive DatabaseIntegrity CheckThese 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.
- W1533625119 created "2016-06-24" @default.
- W1533625119 creator A5037961481 @default.
- W1533625119 creator A5052998741 @default.
- W1533625119 date "1994-01-01" @default.
- W1533625119 modified "2023-09-24" @default.
- W1533625119 title "Improving integrity constraint checking for stratified deductive databases" @default.
- W1533625119 cites W1965526217 @default.
- W1533625119 cites W2075950442 @default.
- W1533625119 cites W2099805467 @default.
- W1533625119 cites W2119295867 @default.
- W1533625119 doi "https://doi.org/10.1007/3-540-58435-8_225" @default.
- W1533625119 hasPublicationYear "1994" @default.
- W1533625119 type Work @default.
- W1533625119 sameAs 1533625119 @default.
- W1533625119 citedByCount "3" @default.
- W1533625119 crossrefType "book-chapter" @default.
- W1533625119 hasAuthorship W1533625119A5037961481 @default.
- W1533625119 hasAuthorship W1533625119A5052998741 @default.
- W1533625119 hasConcept C11413529 @default.
- W1533625119 hasConcept C126255220 @default.
- W1533625119 hasConcept C137631369 @default.
- W1533625119 hasConcept C154945302 @default.
- W1533625119 hasConcept C173404611 @default.
- W1533625119 hasConcept C176783269 @default.
- W1533625119 hasConcept C177264268 @default.
- W1533625119 hasConcept C199360897 @default.
- W1533625119 hasConcept C2524010 @default.
- W1533625119 hasConcept C2776036281 @default.
- W1533625119 hasConcept C2777502361 @default.
- W1533625119 hasConcept C29230964 @default.
- W1533625119 hasConcept C33762810 @default.
- W1533625119 hasConcept C33923547 @default.
- W1533625119 hasConcept C41008148 @default.
- W1533625119 hasConcept C44616089 @default.
- W1533625119 hasConcept C49937458 @default.
- W1533625119 hasConcept C77088390 @default.
- W1533625119 hasConcept C80444323 @default.
- W1533625119 hasConceptScore W1533625119C11413529 @default.
- W1533625119 hasConceptScore W1533625119C126255220 @default.
- W1533625119 hasConceptScore W1533625119C137631369 @default.
- W1533625119 hasConceptScore W1533625119C154945302 @default.
- W1533625119 hasConceptScore W1533625119C173404611 @default.
- W1533625119 hasConceptScore W1533625119C176783269 @default.
- W1533625119 hasConceptScore W1533625119C177264268 @default.
- W1533625119 hasConceptScore W1533625119C199360897 @default.
- W1533625119 hasConceptScore W1533625119C2524010 @default.
- W1533625119 hasConceptScore W1533625119C2776036281 @default.
- W1533625119 hasConceptScore W1533625119C2777502361 @default.
- W1533625119 hasConceptScore W1533625119C29230964 @default.
- W1533625119 hasConceptScore W1533625119C33762810 @default.
- W1533625119 hasConceptScore W1533625119C33923547 @default.
- W1533625119 hasConceptScore W1533625119C41008148 @default.
- W1533625119 hasConceptScore W1533625119C44616089 @default.
- W1533625119 hasConceptScore W1533625119C49937458 @default.
- W1533625119 hasConceptScore W1533625119C77088390 @default.
- W1533625119 hasConceptScore W1533625119C80444323 @default.
- W1533625119 hasLocation W15336251191 @default.
- W1533625119 hasOpenAccess W1533625119 @default.
- W1533625119 hasPrimaryLocation W15336251191 @default.
- W1533625119 hasRelatedWork W1481933832 @default.
- W1533625119 hasRelatedWork W1485144878 @default.
- W1533625119 hasRelatedWork W1485353823 @default.
- W1533625119 hasRelatedWork W1487299701 @default.
- W1533625119 hasRelatedWork W1503787502 @default.
- W1533625119 hasRelatedWork W1564441192 @default.
- W1533625119 hasRelatedWork W1593260998 @default.
- W1533625119 hasRelatedWork W1957041901 @default.
- W1533625119 hasRelatedWork W1981032168 @default.
- W1533625119 hasRelatedWork W1994652641 @default.
- W1533625119 hasRelatedWork W2001933991 @default.
- W1533625119 hasRelatedWork W205145512 @default.
- W1533625119 hasRelatedWork W2099805467 @default.
- W1533625119 hasRelatedWork W2602529353 @default.
- W1533625119 hasRelatedWork W2616786672 @default.
- W1533625119 hasRelatedWork W2622131595 @default.
- W1533625119 hasRelatedWork W2952054168 @default.
- W1533625119 hasRelatedWork W2960913870 @default.
- W1533625119 hasRelatedWork W94135070 @default.
- W1533625119 hasRelatedWork W196734950 @default.
- W1533625119 isParatext "false" @default.
- W1533625119 isRetracted "false" @default.
- W1533625119 magId "1533625119" @default.
- W1533625119 workType "book-chapter" @default.