Now, the most known declarative query language over property graphs is Cypher2 of GDBMS Neo4j [15].
In this paper we describe the Disnix toolset, which provides system administrators or developers with automatic deployment of a distributed system in a network of machines from declarative specifications and offers properties such as complete dependencies, atomic upgrades and rollbacks to make this process efficient and reliable.
It has been argued that it is a distinctive functional property of human declarative memory (which is taken to be conscious) that subjects are able to discern the presence and absence of such memories (Tulving and Schacter 1990).
Also, arousal experienced during encoding (Abercrombie et al. 2006) and arousing properties of the declarative material itself (Buchanan and Lovallo 2001; Wolf et al. 2004) appeared to influence GC effects on memory performance.
Using declarative sentences, we manipulated the animacy property of the noun following the verb, in relation to the verb's semantic selection-restrictions; e.g., bread [-animate] is a possible noun following the verb, bake, (Barbie bakes the bread in the kitchen control sentence) but people [+animate] is not (Barbie bakes the people in the kitchen semantic violation).
While a simulation model is defined by its behavior and is driven by a testbench, the key to the formal verification is stated by a declarative form of module interface: the properties.
Therefore, BOTL uses a UML-based notation for the definition of declarative mapping rules that allow reasoning about properties like applicability, metamodel conformance and bidirectionality of transformations.
Key elements of this technology include intercepting inter-component communications with discrete, dynamically configurable "injectors", annotating communications and processes with additional meta-information, and a high-level, declarative specification language for describing the mapping between desired system properties and services that achieve these properties.
An important property of the method is that quantitative, qualitative and declarative knowledge is processed and the semantic constraints implied by the KB are held in final clusters, which guarantees the interpretability of the resulting classes.
The prima facie element of the account means that the typical properties on the speaker and hearer side are only default properties associated with surface features of the utterance: the declarative sentence type, a typical intonation pattern, etc.
