%A_DAEMON; : Relation daemon

Java class : leon.info.daemon.LyDaemon

ROLE

This entity allows to define a daemon for a local relation value computation (for a non-existing relation on the data source).

ELEMENTS

<!ENTITY % A_DAEMON 
	  (ROUTES |
	   PATH |
	   JOIN |
	   JOIN_DAEMON |
	   REVERSE)>
Element Mand. Mult. Description
ROUTES yes no Allows to declare a local relation, i.e. a relation that has no physical binding. Routes are used to express the way the values computation is made for this field. This element and the elements which constitute it are described further in this document.
PATH yes no Allows to declare a local relation, i.e. a relation that has no physical binding computed by a path.
JOIN yes no Allows to declare a multiple local relation to represent an (n, m) relation.
JOIN_DAEMON yes no The join information allows to specify
how to create a join daemon to compute the references of objects locally stored in this field.
REVERSE yes no Allows to declare a multiple local relation to represent a