[PDF] Top 20 Relational and graph queries over a transition system

... is a brute force traversal of all possible model states that permits to assert if a property is satisfied or ...produces a counterexample trace. However, once the existence of a problem is ... Voir le document complet

... propose a variation of the classical relational algebra extended with a fixpoint operator, which is useful for captur- ing recursive terms and for facilitating their ...compatible and ... Voir le document complet

... When a fixpoint µ(X = κ ∪ ψ ) is such that X appears ex- actly once in ψ , which is always the case for terms generated by translating a UCRPQ, this fixpoint can be translated into a CREATE RECURSIVE ... Voir le document complet

... nodes, and the links between foreign keys and primary keys correspond to directed edges between ...data and meta-data to cover the whole of the ...– and can be tested 1 – over versions ... Voir le document complet

... time and completion time include commu- nication time, I/O time and CPU ...Quilitz and Leser [ 4 ], Gortlitz and Staab [ 5 ] and Wang et ...time and uses statistics to estimate ... Voir le document complet

... as a flat subtree of the syntactic ...MWE, and all the other elements are attached to this root with dependencies having special la- ...structures and may confuse a syntactic ...MWE and ... Voir le document complet

... data and a standard SOM: these maps are supposed to preserve the topographic properties of all three sorts of data, which is a harder task than preserving the topographic property of only one sort ... Voir le document complet

... 11.4.1 Modeling Assumptions of the Vibration Absorber Suspension The 3D vibration absorber suspension is a set of 14 rigid bodies the MGB, four MGB bars, four SARIB beaters, four interme[r] ... Voir le document complet

... establishing a matching E XP T IME lower ...generated a lot of interest in the last years as a promising way of facilitating access to data (see [4] for a recent ...define a conceptual ... Voir le document complet

... variables and every X-structure S, T (S) can be enumerated with a preprocessing O(|T |·|D| 2 ) and a delay in ...structure over binary pred- icates (if we remove the computation of ... Voir le document complet

... has a minimal impact on the total item score and only a small number of queries will be updated by the corresponding target items of incoming ...0.2 and then exhibits a constant ... Voir le document complet

... in a new version. In update-heavy environments, this could result in a large number of versions, most of which are unlikely to be of interest to the users as logical ...creating a new version that ... Voir le document complet

... is a match of q in P = ((V, E), T ...atom and its ...is a match of q in ...whether a given proof scheme is ...chase graph and an an- cestor atom can be computed using the ... Voir le document complet

... LUBM queries, SPARQLGX and 4store constitute the fastest ...LUBM queries by their graph variables (introduced in Table 3) in Figure 4 to represent time distributions for each store, excluding ... Voir le document complet

... is a contribution showing how the Bond Graph formalism is useful for modelling and analysing electrical engineering multi-field ...obtaining a homogeneous modelling greatly facilitates the ... Voir le document complet

... effort) and displacement q (integral of ...effort and flow, where the product gives the transmitted ...Bond graph elements can be classified in 3 categories : passive elements, active elements, ... Voir le document complet

... For a graph G, we define id(G) as the minimum size of an identifying code of G if one exists, and id(G) = +∞ ...if and only if G is ...[19] and have been applied to problems such as ... Voir le document complet

... such a network can be modelled as a graph. A graph is defined by two sets (V,E) where V is a set of vertices and E is a set of ...edges. A vertex represents ... Voir le document complet

... topology and performance of a rotor operating at low Reynolds numbers is ...turbulent transition experiments over small rotors is ...force and torque measurements were used to study ... Voir le document complet

... different transition-based parsers, which have finally converged on several ...to a word, it is necessary to clearly dissociate the addition of a dependency from the reduction of a word ... Voir le document complet