Global Positioning System Reference
In-Depth Information
Notation: Let n be a variable defi ning the quantity of data (e.g., the number
of tuples in a database). Let T be a set of themes and
θ
= {O(1), O(log(n)),
O(n), O(n
2
), O(>)} a set of complexity (Papadimitriou 1993).
The formal defi nition of RL typed by RLintA-A becomes:
-A_A->: N x T x
θ
x C x A x … x A
→
A x … x A
The formal defi nition of RL typed by RLintA-M becomes:
-A_M-> : N x T x
θ
x C x A x … x A x M x (P)
→
A
(id, t, o, c
i
, a
1
, … a
u
, m
k
, (p
1
, …, p
q
)) = a
|A|+1
The formal defi nition of RL typed by RLintA-A becomes:
e-A_A-> : N x T x
θ
x C x REQ-SPAT x A x … x A
→
C x A x … x A
(id, t, o, c
i
, request-spatial, a
1
, … a
u
) = (c
j
, a
v
, …, a
m
)
Application of a lattice to Relevant Links
We propose to use a lattice of concepts, named here, lattice of reference, to
classify Relevant Links. The Data Base Administrator is in charge of defi ning
a theme to a Relevant Link using this lattice. Figure 8 presents an example
of a (reference) lattice of concepts in our example. This lattice is shared by
the set of applications that wish to use the enhancement service (in order
to keep unchanged the signature of the normalized web services).
To illustrate the formal context E, we rely on a set of RL and themes
presented in Table 7. Symbols are used to provide a better reading. An
example of a formal context is presented Table 8.
Figure 9 presents the associated lattice of concept for a formal context E.
This lattice is named Instantiated Lattice of Concepts. It corresponds to a sub
set of the lattice of concepts and is specifi c to a geographical data server.
Social
Legal
Economic
Public Law
Industrial
Touristic
Business Law
Agronomic
Commercial
Fig. 8.
Example of reference lattice of concepts.
Search WWH ::
Custom Search