M. Bozzano. Semantica di basi di dati in logica lineare: il caso Chimera. Master's thesis, DISI, University of Genova, Italy, 1997.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997)   Self-citation (Bozzano)   (Correct)

....the triggering (see, for instance, example 2.4) In other words, the reaction code should be parametric in the object that has caused the triggering of the rule. Indeed, this is not difficult to achieve, yet this management requires a careful use of abstractions; the interested reader can find in [7] a detailed treatment. A number of extensions for trigger management can be added with little effort; these extensions include trigger inheritance between classes, immediate triggers (that is, triggers whose reaction is executed as soon as the relevant rule is triggered) and priority triggers ....

.... all the solutions to a given goal in logic programming (for example the primitive set of in Prolog) A brief discussion regarding the semantics of complex queries is presented in the sequel; however, the subject would deserve a more detailed treatment, which the interested reader can find in [7]. For the sake of simplicity, in this presentation we shall limit ourselves to queries on a single class, which can be written according to the following syntax: select(attrlist intolist l from clname where cond) whose informal meaning is to select all the objects belonging to the class clname ....

[Article contains additional citation context not shown here]

M. Bozzano. Semantica di basi di dati in logica lineare: il caso Chimera. Master's thesis, DISI, University of Genova, Italy, 1997.

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