417 search results - page 1 / 84 » Results on Reasoning about Updates in Transaction Logic |
130
Voted
DAGSTUHL
1998
15 years 7 months ago
1998
216
click to vote
VLDB
2007
ACM
16 years 17 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
149
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
152
click to vote
CSL
2007
Springer
16 years 19 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...