20 likes | 140 Vues
This article explores link contracts and equivalence links in XDI, highlighting their functionality and interactions with $ref and $rep features. We examine a graph showcasing simple XDI statements and a specific link contract, illustrating the target subgraph and the conditions necessary for successful $get operations. Key examples demonstrate how these contracts interact, answering questions about the success criteria for $get requests on various statements. This understanding is essential for effectively utilizing link contracts in XDI frameworks.
E N D
Link Contracts and Equivalence Links The graph below contains a few simple XDI statements, and a link contract that allows $get operations on a certain subgraph. The purple area is the target subgraph of the link contract. () The purple statements are the statements on which a $get request will succeed using the given link contract. =a =a *b +friend =a*b =x <+c> =a*b<+c> =x & $do =a*b<+c>& $get & $do “Markus”
Link Contracts and Equivalence Links The graph below discuses a case where link contract functionality intersects with $ref/$rep functionality. The purple area is the target subgraph of the link contract. () The purple statements are the statements on which a $get request will succeed using the given link contract. [=] [=] !:uuid:1 [=]!:uuid:1 =a $ref =a *b $ref =b [=]!:uuid:1*b =b $ref =c =c $rep =d =d $do $get $ref/$rep behavior: Will a $get on =a*b succeed? Will a $get on =d*b succeed? $do