Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119851520> ?p ?o ?g. }
- W2119851520 endingPage "404" @default.
- W2119851520 startingPage "386" @default.
- W2119851520 abstract "Static analysis of declarative languages deals with the detection, at compile time, of program properties that can be used to better understand the program semantics and to improve the efficiency of program evaluation. In logical update languages, an interesting problem is the detection of conflicting updates, inserting and deleting the same fact, for transactions based on set-oriented updates and active rules. In this paper, we investigate this topic in the context of the U-Datalog language, a set-oriented update language for deductive databases, based on a deferred semantics. We first formally define relevant properties of U-Datalog programs, mainly related to update conflicts. Then, we prove that the defined properties are decidable and we propose an algorithm to detect such conditions. Finally, we show how the proposed techniques can be applied to other logical update languages. Our results are based on the concept of labeling and query-tree." @default.
- W2119851520 created "2016-06-24" @default.
- W2119851520 creator A5024551850 @default.
- W2119851520 creator A5061694501 @default.
- W2119851520 date "2003-03-01" @default.
- W2119851520 modified "2023-09-23" @default.
- W2119851520 title "Static analysis of logical languages with deferred update semantics" @default.
- W2119851520 cites W142603137 @default.
- W2119851520 cites W149380789 @default.
- W2119851520 cites W1497998981 @default.
- W2119851520 cites W1501850367 @default.
- W2119851520 cites W1504999504 @default.
- W2119851520 cites W1512518283 @default.
- W2119851520 cites W151728962 @default.
- W2119851520 cites W1535740288 @default.
- W2119851520 cites W1536593030 @default.
- W2119851520 cites W1551066637 @default.
- W2119851520 cites W1554176772 @default.
- W2119851520 cites W1554917839 @default.
- W2119851520 cites W1555797260 @default.
- W2119851520 cites W1585132271 @default.
- W2119851520 cites W1602014241 @default.
- W2119851520 cites W1603594795 @default.
- W2119851520 cites W1696171913 @default.
- W2119851520 cites W178958631 @default.
- W2119851520 cites W1832596789 @default.
- W2119851520 cites W1847423898 @default.
- W2119851520 cites W1966276082 @default.
- W2119851520 cites W1967761106 @default.
- W2119851520 cites W1967832907 @default.
- W2119851520 cites W1969991082 @default.
- W2119851520 cites W1992810975 @default.
- W2119851520 cites W1993041504 @default.
- W2119851520 cites W1995080554 @default.
- W2119851520 cites W2003688200 @default.
- W2119851520 cites W2003804054 @default.
- W2119851520 cites W2009098458 @default.
- W2119851520 cites W2014409122 @default.
- W2119851520 cites W2042690606 @default.
- W2119851520 cites W2043289707 @default.
- W2119851520 cites W2054803061 @default.
- W2119851520 cites W2056947248 @default.
- W2119851520 cites W2066572564 @default.
- W2119851520 cites W2076108709 @default.
- W2119851520 cites W2080751405 @default.
- W2119851520 cites W2081973669 @default.
- W2119851520 cites W2086560466 @default.
- W2119851520 cites W2105905502 @default.
- W2119851520 cites W2122211300 @default.
- W2119851520 cites W2123396057 @default.
- W2119851520 cites W2129241924 @default.
- W2119851520 cites W2135620221 @default.
- W2119851520 cites W2136583091 @default.
- W2119851520 cites W2146468542 @default.
- W2119851520 cites W2159060277 @default.
- W2119851520 cites W2162621793 @default.
- W2119851520 cites W2166397644 @default.
- W2119851520 cites W2174018523 @default.
- W2119851520 cites W3023767094 @default.
- W2119851520 cites W35767954 @default.
- W2119851520 cites W42632400 @default.
- W2119851520 doi "https://doi.org/10.1109/tkde.2003.1185841" @default.
- W2119851520 hasPublicationYear "2003" @default.
- W2119851520 type Work @default.
- W2119851520 sameAs 2119851520 @default.
- W2119851520 citedByCount "2" @default.
- W2119851520 crossrefType "journal-article" @default.
- W2119851520 hasAuthorship W2119851520A5024551850 @default.
- W2119851520 hasAuthorship W2119851520A5061694501 @default.
- W2119851520 hasConcept C134752490 @default.
- W2119851520 hasConcept C148230440 @default.
- W2119851520 hasConcept C151730666 @default.
- W2119851520 hasConcept C153269930 @default.
- W2119851520 hasConcept C154945302 @default.
- W2119851520 hasConcept C169590947 @default.
- W2119851520 hasConcept C177264268 @default.
- W2119851520 hasConcept C184337299 @default.
- W2119851520 hasConcept C199360897 @default.
- W2119851520 hasConcept C200833197 @default.
- W2119851520 hasConcept C2777502361 @default.
- W2119851520 hasConcept C2779343474 @default.
- W2119851520 hasConcept C41008148 @default.
- W2119851520 hasConcept C80444323 @default.
- W2119851520 hasConcept C86803240 @default.
- W2119851520 hasConcept C97686452 @default.
- W2119851520 hasConcept C98183937 @default.
- W2119851520 hasConceptScore W2119851520C134752490 @default.
- W2119851520 hasConceptScore W2119851520C148230440 @default.
- W2119851520 hasConceptScore W2119851520C151730666 @default.
- W2119851520 hasConceptScore W2119851520C153269930 @default.
- W2119851520 hasConceptScore W2119851520C154945302 @default.
- W2119851520 hasConceptScore W2119851520C169590947 @default.
- W2119851520 hasConceptScore W2119851520C177264268 @default.
- W2119851520 hasConceptScore W2119851520C184337299 @default.
- W2119851520 hasConceptScore W2119851520C199360897 @default.
- W2119851520 hasConceptScore W2119851520C200833197 @default.
- W2119851520 hasConceptScore W2119851520C2777502361 @default.
- W2119851520 hasConceptScore W2119851520C2779343474 @default.