Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079040219> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2079040219 endingPage "839" @default.
- W2079040219 startingPage "826" @default.
- W2079040219 abstract "An active database is a database system that can react to internal, as well as external, database events. The reactive behavior of an active database is determined by a predefined set of active database rules, along with a rule processing strategy. A common problem associated with active database systems is the possible non-termination of the active database rules. Previous work on the analysis of the conditions required for the termination of active database rules has only considered limited rule processing strategies. This paper proposes an approach for automatically detecting the non-termination of active database rules using a model checking technique. With this approach, a general framework for modeling active database systems is first proposed. This framework is useful for analyzing the behavior of rules with different rule processing strategies and for allowing the adoption of different contexts and different execution coupling modes for the active database rules. Based on the proposed modeling framework, the termination property of active database rules with various rule processing strategies is next checked using SPIN, a model checking tool. Through experimental results, we demonstrated the feasibility of using this method." @default.
- W2079040219 created "2016-06-24" @default.
- W2079040219 creator A5004506095 @default.
- W2079040219 creator A5011629857 @default.
- W2079040219 creator A5042343019 @default.
- W2079040219 date "2006-01-01" @default.
- W2079040219 modified "2023-10-06" @default.
- W2079040219 title "Model Checking Active Database Rules under Various Rule Processing Strategies" @default.
- W2079040219 cites W1527509133 @default.
- W2079040219 cites W1529568204 @default.
- W2079040219 cites W1601098452 @default.
- W2079040219 cites W1966276082 @default.
- W2079040219 cites W1985641955 @default.
- W2079040219 cites W1995151557 @default.
- W2079040219 cites W2115309705 @default.
- W2079040219 cites W2140393476 @default.
- W2079040219 cites W4300021588 @default.
- W2079040219 doi "https://doi.org/10.2197/ipsjdc.2.826" @default.
- W2079040219 hasPublicationYear "2006" @default.
- W2079040219 type Work @default.
- W2079040219 sameAs 2079040219 @default.
- W2079040219 citedByCount "12" @default.
- W2079040219 countsByYear W20790402192013 @default.
- W2079040219 countsByYear W20790402192014 @default.
- W2079040219 countsByYear W20790402192015 @default.
- W2079040219 countsByYear W20790402192016 @default.
- W2079040219 countsByYear W20790402192021 @default.
- W2079040219 crossrefType "journal-article" @default.
- W2079040219 hasAuthorship W2079040219A5004506095 @default.
- W2079040219 hasAuthorship W2079040219A5011629857 @default.
- W2079040219 hasAuthorship W2079040219A5042343019 @default.
- W2079040219 hasBestOaLocation W20790402191 @default.
- W2079040219 hasConcept C111472728 @default.
- W2079040219 hasConcept C124101348 @default.
- W2079040219 hasConcept C12439846 @default.
- W2079040219 hasConcept C138885662 @default.
- W2079040219 hasConcept C148840519 @default.
- W2079040219 hasConcept C177264268 @default.
- W2079040219 hasConcept C189950617 @default.
- W2079040219 hasConcept C199360897 @default.
- W2079040219 hasConcept C2778744189 @default.
- W2079040219 hasConcept C30775581 @default.
- W2079040219 hasConcept C41008148 @default.
- W2079040219 hasConcept C5968703 @default.
- W2079040219 hasConcept C77088390 @default.
- W2079040219 hasConcept C78161392 @default.
- W2079040219 hasConceptScore W2079040219C111472728 @default.
- W2079040219 hasConceptScore W2079040219C124101348 @default.
- W2079040219 hasConceptScore W2079040219C12439846 @default.
- W2079040219 hasConceptScore W2079040219C138885662 @default.
- W2079040219 hasConceptScore W2079040219C148840519 @default.
- W2079040219 hasConceptScore W2079040219C177264268 @default.
- W2079040219 hasConceptScore W2079040219C189950617 @default.
- W2079040219 hasConceptScore W2079040219C199360897 @default.
- W2079040219 hasConceptScore W2079040219C2778744189 @default.
- W2079040219 hasConceptScore W2079040219C30775581 @default.
- W2079040219 hasConceptScore W2079040219C41008148 @default.
- W2079040219 hasConceptScore W2079040219C5968703 @default.
- W2079040219 hasConceptScore W2079040219C77088390 @default.
- W2079040219 hasConceptScore W2079040219C78161392 @default.
- W2079040219 hasLocation W20790402191 @default.
- W2079040219 hasOpenAccess W2079040219 @default.
- W2079040219 hasPrimaryLocation W20790402191 @default.
- W2079040219 hasRelatedWork W125580300 @default.
- W2079040219 hasRelatedWork W1482566012 @default.
- W2079040219 hasRelatedWork W1500990581 @default.
- W2079040219 hasRelatedWork W1515888449 @default.
- W2079040219 hasRelatedWork W2111580856 @default.
- W2079040219 hasRelatedWork W2167837398 @default.
- W2079040219 hasRelatedWork W2263180392 @default.
- W2079040219 hasRelatedWork W2398855302 @default.
- W2079040219 hasRelatedWork W2747777593 @default.
- W2079040219 hasRelatedWork W2558870711 @default.
- W2079040219 hasVolume "2" @default.
- W2079040219 isParatext "false" @default.
- W2079040219 isRetracted "false" @default.
- W2079040219 magId "2079040219" @default.
- W2079040219 workType "article" @default.