Static analysis of intensional databases in U-Datalog (original) (raw)

1996

Abstract

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 the program evaluation. In logical update languages, an interesting problem is the detection of situations that may lead to inconsistent updates(insertion and deletion of the same fact), generating non-deterministic behavior. The analysis of this problem for transactions based on set-oriented updates is not a simple task.

Elisa Bertino hasn't uploaded this paper.

Let Elisa know you want this paper to be uploaded.

Ask for this paper to be uploaded.