A. Van Gelder and R. Topor. Safety and Correct Translation of Relational Calculus Formulas. In Proc. ACM Symposium on Principles of Database Systems (PODS), pages 313-327, 1987. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Specifying Active Rules for Database Maintenance - Bertossi, Pinto (Correct)
....is that the corresponding IC is violated; and (c) if it possible, then, after the internal action is executed, the R, mentioned in the head of (6) becomes true of the tuple x at the successor state. Notice that the right hand side of (9) should be an evaluable or domain independent formula [Ull88,GT87]. In addition, as mentioned in Example 5, and according with the causal view of ICs, the literal R there should not be associated to a built in predicate, because its satisfaction is enforced through formula (10) As discussed later on, there may be extra necessary conditions at a state s to ....
A. Van Gelder and R. Topor. Safety and Correct Translation of Relational Calculus Formulas. In Proc. ACM Symposium on Principles of Database Systems (PODS), pages 313-327, 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC