Patent ID: 11954120
Assignee: nan
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 1:
2. The method of claim 1, wherein values of said tokens are geometric objects, the step verifying that a transaction is legal comprising a step for verifying that said transaction is integral, the method for verifying that said transaction is integral further comprising:
31) constructing an elementary right set for said transaction;
32) for each right in said elementary right set, finding matching input tokens and matching output tokens covering said right to construct a group of matching input geometric objects and a group of matching output geometric objects respectively; testing whether said group of matching input geometric objects and said group of matching output geometric objects are geometrically integral; when a result of said test is affirmative, said transaction is integral under said right;
33) when said transaction is geometrically integral under every right in said elementary right set, said transaction is integral;
said elementary right set is a set of the rights wherein no right in said elementary right set is an ancestor of another right in said elementary right set and any right in right sets of input tokens of said transaction or in right sets of output tokens of said transaction is either in said elementary right set or can be formed by complementarily merging rights in said elementary right set;
said group of matching input geometric objects comprises of geometric objects in said matching input tokens;
said group of matching output geometric objects comprises of geometric objects in said matching output tokens.