DEXA
2006
Springer
13 years 8 months ago
2006
Springer
One of the problems associated with XML databases is the poor performance of XPath queries. Although this has attracted much attention by the research community, solutions are eith...
ADC
1993
Springer
13 years 9 months ago
1993
Springer
We present a procedure for deriving the weakest precondition for a database update and an integrity constraint. We show how to simplify the weakest precondition to produce a condi...