Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "EntityId Requirements"

m (Drummond)
(Definitions for Higgins 1.1)
 
(84 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{#eclipseproject:technology.higgins}}
+
{{#eclipseproject:technology.higgins|eclipse_custom_style.css}}
 
[[Image:Higgins_logo_76Wx100H.jpg|right]]
 
[[Image:Higgins_logo_76Wx100H.jpg|right]]
  
 
== About ==
 
== About ==
This page is for working out the requirements and design decisions for Higgins [[EntityId]]s.
+
This page is for working out the requirements and design decisions for any changes to Higgins [[EntityId]]s in the migration from the [[Context Data Model 1.0]] to the [[Context Data Model 1.1]]. Some background discussion is here: [[IdAS EntityId Requirements Discussion Summary]].
  
== Content Data Model Requirements ==
+
== Current EntityId Definition in Context Data Model 1.0 ==
In terms of the underlying graph model, following is a summary of the abstract requirements based on recent threads on the email list (~2008-09). '''Please post a note if you disagree with any of the following:'''
+
# Is of type [need info here].
 +
# Has cardinality 0..1
 +
# MUST be [[Context]]-unique; MAY be globally unique.
 +
# Is always exposed as an [[Attribute]].
 +
# Exposes no information about mutability.
  
# An [[Entity]] is a node in the graph described by the Higgins [[Context Data Model]]. The CDM needs a consistent way of representing arcs referencing that node.
+
== Proposed Definitions for Higgins 1.1 ==
# There MAY be 0..n such arcs referencing the node. (0 is possible for blank nodes.)
+
# An arc MAY theoretically be represented as either:
+
## A unique identifier (single-part key).
+
## A set of [[Attribute]]s of that [[Entity]] (multi-part key) - none of which itself is required to be a unique identifier.
+
# If the arc is represented as a unique identifier:
+
## It MUST be a Contextually Unique ID (CUID), i.e., locally unique within the [[Context]].
+
## It MAY be globally unique identifier (GUID) (note that all GUIDs are by definition CUIDs provided that the Context recognizing them as IDs).
+
  
== Higgins API Requirements ==
+
Entity:
Following are the key design decisions we need to make. ''Drummond is posting votes as they are made in email. Feel free post your votes/comments directly (with your wiki signature).''
+
# An [[Entity]] is a node in the graph described by the Higgins [[Context Data Model]].  
 +
# An [[Entity]] is identified by 0..n [[EntityId]]s (vs. 0..1 in Higgins 1.0)
 +
# At least one EntityId of an [[Entity]] SHOULD be immutable, i.e., serve as a persistent reference to the Entity within that Context (forever). However because Higgins does not control Contexts or Context policies, the CDM must be prepared that an identifier for an Entity MAY be mutable, i.e., may be reassigned in that Context to reference a different Entity.
  
=== Q1: Unique Identifier vs. Attribute Set ===
+
EntityId:
Must a Higgins [[EntityId]] be a single-part CUID or GUID, or can it be a multi-part set of [[Attribute]]s?
+
# An EntityID is of type String (if the EntityId is not an Attribute of the Entity) else of type IAttribute (if the EntityId is also an Attribute of the Entity)
 +
# An EntityId MUST be locally unique within the [[Context]].
 +
# An EntityId MAY be globally unique (GUID)
 +
# An EntityId MAY be exposed as an [[Attribute]]. If it is the Attribute Type MUST be marked as a higgins:synonym
 +
# An Entity MAY have a single ''cannonical'' EntityId that MUST be immutable
  
* Jim: Yes - it must be a CUID or GUID.
+
== Proposed Changes in Context Data Model 1.1 ==
* David: No - ''I prefer a multi-part key where the parts of the key might also be unique in a context. An example is a EntityID made up of a uniqueName, uniqueId, nativeName, nativeId. Any part of the of the Entity ID could be used to identify the object.''
+
* Drummond: Abstain - ''Single-part IDs are easier, but multi-part keys are useful too.''
+
  
=== Q2: Representation of an EntityId as a Unique Identifier ===
+
=== #1: Not Require EntityId to be Exposed as an Attribute ===
If an [[EntityId]] is a unique identifier, should this be represented as:
+
The proposed change is to make it OPTIONAL to expose [[EntityId]] as some kind of [[Attribute]]. Contexts that do not want to expose the [[EntityId]] can omit it from the list of [[Attribute]]s for an [[Entity]]. ''Note: if the [[EntityId]] is mutable, it SHOULD be exposed as an [[Attribute]] so it can be modified.''
# A type of [[Attribute]]?
+
# An inherent property of an [[Entity]] that MAY be exposed as an [[Attribute]]?
+
  
* Jim: #2
+
=== #2: Add a higgins:synonym Attribute to higgins.owl ===
* David: #2
+
* Drummond: #2
+
  
=== Q3: Cardinality ===
+
For those Context Provider developers who wish to explicitly tag certain Attributes as being capable of being used as an alternative identifier for this Entity (i.e. it uniquely at LEAST within the containing Context identifies this Entity).  
What is the cardinality of [[EntityId]]? (The answer may depend on the answer to #2.)
+
# 0..n?
+
# 0..1?
+
# 1 (whose value may be null)?
+
# None of the above?
+
  
* Jim: Abstain - ''I tend to want simple.''
+
For example, if the developer wished to declare a "mobile" telephone number attribute as being a synonym to whatever kind of identifier getEntityId() returns, they would, in their Attribute Definition define their new mobile attribute as a sub-property of higgins:synonym. For example:
* David: #1 or #2 - ''0..1 if the EntityId is mutlipart as in Q1.  0..n if it is a string, and then it needs a type.''
+
* Drummond: #4 - ''See comment below.''
+
  
=== Q4: Mutability ===
+
:mobile
Is the EntityID of an Entity immutable?
+
      a      owl:DatatypeProperty ;
# Yes?
+
      rdfs:range xsd:string ;
# No?
+
      rdfs:subPropertyOf higgins:synonym .
# Depends?
+
  
* Jim: Yes - ''I believe it must be as soon as we start tying policy to EntityIDs.  Either that, or we need to require a way to ensure referential integrity for places where EntityIDs are stored in policy statements.''
+
[well, in practice the range would likely be a syntax restriction on xsd:string, not a plain old xsd:string, but fixing that would complicate the example]
* David: Depends - ''My vote on Q1 was multipart where the decomposition could contain both mutable (uniqueName) and immutable (uniqueId) parts. They both have their use cases. If the EntityID is a string, then 1..n is needed to accomodate mutable, immutable types and if the id can be used in other protocols (compatability with legacy systems).''
+
* Drummond: Depends - ''See comment below''.
+
  
== Comments/Proposals ==
+
=== #3: Changes to EntityID definition ===
 +
* The canonical EntityId (if it exists) is immutable
  
=== Drummond ===
+
== Proposed Changes to IdAS API for Higgins 1.1 ==
It seems we're overloading [[EntityId]] - one property can't meet all the requirements. A proposal would be to use two properties, both of which could be used to uniquely address an [[Entity]] in a [[Context]]:
+
 
# '''CUID:'''
+
=== public Object[] IEntity.getEntityIds(); ===
## Cardinality of 1, but whose value can be null (representing a blank node).
+
This method returns an array of EntityIds that uniquely identify the Entity within the Context. Each Object is either
## Immutable.
+
* a String (if the EntityId is not an Attribute of the Entity)
## Not exposed as an [[Attribute]].
+
* an IAttribute (if the EntityId is also an Attribute of the Entity)
# '''EntityId:'''
+
 
## Cardinality 0..n
+
=== public Object IEntity.getCanonicalEntityId();  ===
## Mutable by default; immutability denoted by an attribute on this attribute.
+
This method returns the "canonical" EntityId, i.e. the preferred one. The returned object is either a String or an IAttribute.  The context provider guarantees that this EntityId is immutable. Returns null if this Entity has no Cannonical EntityId
## Exposed as an [[Attribute]] if present.
+
 
 +
=== public IEntity IContext.getEntity(String); ===
 +
This method already exists today. There is no change to it. It looks up an IEntity based on a String which is not an Attribute of the Entity.
 +
 
 +
=== public Iterator IContext.getEntities(IFilter); ===
 +
This method already exists today. There is no change to it. It looks up IEntitys based on an IFilter, which can select them by Attribute Values.
 +
 
 +
=== public IAttributeModel.isEntityId(); ===
 +
Returns true, if IAttributes that use this IAttributeModel also act as EntityIds. These IAttributes may be returned by the above IEntity.getEntityIds() method.
 +
 
 +
=== public IAttributeModel.isMutable(); ===
 +
Returns true, if IAttributes that use this IAttributeModel are mutable, i.e. if its IAttributeValues can be changed/added/removed.
 +
 
 +
== Example Using Proposed Changes ==
 +
The following diagram shows three Entities: two ordinary Entities and one Entity Class (higgins:Person):
 +
 
 +
[[Image:Multiple-identifiers5.png]]
 +
 
 +
* The Context Provider developer has defined three simple Attributes: "ssn", "mobile", and "shoe-size".  
 +
* The developer chose to use the SSN as the canonical EntityId
 +
* The developer chose the option to "repeat" the canonical EntityId value as the value of the "ssn" Attribute.  
 +
* Although it is not shown in the above diagram, the developer has defined two of these (SSN & mobile) as being Synonym Attributes.  
 +
* Just to show off to his boss, the developer defined a complex Attribute called "knows" and used it to link the entity on the left with the entity on the right by referring to the right-most entities canonical (and hopefully immutable) entityId.
 +
 
 +
=== Using IdAS... ===
 +
* Calling IEntity.getCanonicalEntityId() on the Entity at the left will return the (canonical) EntityId value 033568888.
 +
* Calling IEntity.getCanonicalEntityId() on the Entity at the right will return the (canonical) EntityId value 034898786.
 +
* Calling IEntity.getEntityIds() on the Entity at the left will return a list of these two IAttributes:
 +
** mobile with value +16175137924
 +
** ssn with value 033568888
 +
* Calling IEntity.getAttribute(<knows>) on the Entity at the left will return the Entity on the right [some liberties taken here for brevity]

Latest revision as of 15:13, 14 May 2009

{{#eclipseproject:technology.higgins|eclipse_custom_style.css}}

Higgins logo 76Wx100H.jpg

About

This page is for working out the requirements and design decisions for any changes to Higgins EntityIds in the migration from the Context Data Model 1.0 to the Context Data Model 1.1. Some background discussion is here: IdAS EntityId Requirements Discussion Summary.

Current EntityId Definition in Context Data Model 1.0

  1. Is of type [need info here].
  2. Has cardinality 0..1
  3. MUST be Context-unique; MAY be globally unique.
  4. Is always exposed as an Attribute.
  5. Exposes no information about mutability.

Proposed Definitions for Higgins 1.1

Entity:

  1. An Entity is a node in the graph described by the Higgins Context Data Model.
  2. An Entity is identified by 0..n EntityIds (vs. 0..1 in Higgins 1.0)
  3. At least one EntityId of an Entity SHOULD be immutable, i.e., serve as a persistent reference to the Entity within that Context (forever). However because Higgins does not control Contexts or Context policies, the CDM must be prepared that an identifier for an Entity MAY be mutable, i.e., may be reassigned in that Context to reference a different Entity.

EntityId:

  1. An EntityID is of type String (if the EntityId is not an Attribute of the Entity) else of type IAttribute (if the EntityId is also an Attribute of the Entity)
  2. An EntityId MUST be locally unique within the Context.
  3. An EntityId MAY be globally unique (GUID)
  4. An EntityId MAY be exposed as an Attribute. If it is the Attribute Type MUST be marked as a higgins:synonym
  5. An Entity MAY have a single cannonical EntityId that MUST be immutable

Proposed Changes in Context Data Model 1.1

#1: Not Require EntityId to be Exposed as an Attribute

The proposed change is to make it OPTIONAL to expose EntityId as some kind of Attribute. Contexts that do not want to expose the EntityId can omit it from the list of Attributes for an Entity. Note: if the EntityId is mutable, it SHOULD be exposed as an Attribute so it can be modified.

#2: Add a higgins:synonym Attribute to higgins.owl

For those Context Provider developers who wish to explicitly tag certain Attributes as being capable of being used as an alternative identifier for this Entity (i.e. it uniquely at LEAST within the containing Context identifies this Entity).

For example, if the developer wished to declare a "mobile" telephone number attribute as being a synonym to whatever kind of identifier getEntityId() returns, they would, in their Attribute Definition define their new mobile attribute as a sub-property of higgins:synonym. For example:

:mobile
     a       owl:DatatypeProperty ;
     rdfs:range xsd:string ;
     rdfs:subPropertyOf higgins:synonym .

[well, in practice the range would likely be a syntax restriction on xsd:string, not a plain old xsd:string, but fixing that would complicate the example]

#3: Changes to EntityID definition

  • The canonical EntityId (if it exists) is immutable

Proposed Changes to IdAS API for Higgins 1.1

public Object[] IEntity.getEntityIds();

This method returns an array of EntityIds that uniquely identify the Entity within the Context. Each Object is either

  • a String (if the EntityId is not an Attribute of the Entity)
  • an IAttribute (if the EntityId is also an Attribute of the Entity)

public Object IEntity.getCanonicalEntityId();

This method returns the "canonical" EntityId, i.e. the preferred one. The returned object is either a String or an IAttribute. The context provider guarantees that this EntityId is immutable. Returns null if this Entity has no Cannonical EntityId

public IEntity IContext.getEntity(String);

This method already exists today. There is no change to it. It looks up an IEntity based on a String which is not an Attribute of the Entity.

public Iterator IContext.getEntities(IFilter);

This method already exists today. There is no change to it. It looks up IEntitys based on an IFilter, which can select them by Attribute Values.

public IAttributeModel.isEntityId();

Returns true, if IAttributes that use this IAttributeModel also act as EntityIds. These IAttributes may be returned by the above IEntity.getEntityIds() method.

public IAttributeModel.isMutable();

Returns true, if IAttributes that use this IAttributeModel are mutable, i.e. if its IAttributeValues can be changed/added/removed.

Example Using Proposed Changes

The following diagram shows three Entities: two ordinary Entities and one Entity Class (higgins:Person):

Multiple-identifiers5.png

  • The Context Provider developer has defined three simple Attributes: "ssn", "mobile", and "shoe-size".
  • The developer chose to use the SSN as the canonical EntityId
  • The developer chose the option to "repeat" the canonical EntityId value as the value of the "ssn" Attribute.
  • Although it is not shown in the above diagram, the developer has defined two of these (SSN & mobile) as being Synonym Attributes.
  • Just to show off to his boss, the developer defined a complex Attribute called "knows" and used it to link the entity on the left with the entity on the right by referring to the right-most entities canonical (and hopefully immutable) entityId.

Using IdAS...

  • Calling IEntity.getCanonicalEntityId() on the Entity at the left will return the (canonical) EntityId value 033568888.
  • Calling IEntity.getCanonicalEntityId() on the Entity at the right will return the (canonical) EntityId value 034898786.
  • Calling IEntity.getEntityIds() on the Entity at the left will return a list of these two IAttributes:
    • mobile with value +16175137924
    • ssn with value 033568888
  • Calling IEntity.getAttribute(<knows>) on the Entity at the left will return the Entity on the right [some liberties taken here for brevity]

Copyright © Eclipse Foundation, Inc. All Rights Reserved.