Scalable and Efficient RBAC for Provenance ◾ 109
Definition 8.3: Home Partition
We define a home partition KB
i
, for all the triples, where i = 1,2,…, n such that
• e TBox, T, is in KB
i
• For all assertions of form C(x) and R(x, Y), both have the same home, KB
i
,
and C is a concept, R is an atomic property, x is restricted to individuals in
, and Y is either an individual or a literal (for object or datatype property,
respectively). In particular, the home is determined by x, the domain of R.
Definition 8.4: P-Link
A P-link is a directed arc that allows navigation from one materialized KB to the
next. An atomic property ρ ∈ RS, the set of properties in
, is a P-link if ρ ∈
. Also, a P-link has a home partition.
8.7 A Query-Retrieval Process ...