Public
Edited
Dec 12, 2023
Datalog = import("https://esm.sh/@datalogui/datalog")
People = Datalog.newTable({
id: Datalog.NumberType,
name: Datalog.StringType
})
People.assert({ id: 0, name: "Alice" })
People.assert({ id: 1, name: "Charles" })
People.assert({id: 2, name: "Helen"});
// Define a new table for the ParentOf Relation
ParentOf = Datalog.newTable({
parentID: Datalog.NumberType,
childID: Datalog.NumberType
})
ParentOf.assert({ parentID: 1, childID: 0 })
ParentOf.assert({ parentID: 2, childID: 0 })
Query = Datalog.query(({ parentName, parentID, childID }) => {
People({ name: "Alice", id: childID });
ParentOf({ childID, parentID });
People({ id: parentID, name: parentName });
})
Query.view().readAllData()
Type JavaScript, then Shift-Enter. Ctrl-space for more options. Arrow ↑/↓ to switch modes.
User = Datalog.newTable({
id: Datalog.NumberType,
name: Datalog.StringType,
email: Datalog.StringType
})
Comments = Datalog.newTable({
id: Datalog.NumberType,
userID: Datalog.NumberType,
comment: Datalog.StrintType
})
User.assert({
id: 10,
name: "Alice",
email: "alice@web.mail"
})
User.assert({
id: 11,
name: "Bob"
})
Comments.assert({
id: 101,
userID: 10,
comment: "This is cool comment"
})
comments = Datalog.query(({ userID, comment, id }) => {
User({ email: "alice@web.mail", id: userID });
Comments({ userID, comment, id });
})
comments.view().readAllData()
Proof = Datalog.newTable({
cid: Datalog.StringType,
issuer: Datalog.StringType,
audience: Datalog.StringType,
expiration: Datalog.NumberType,
notBefore: Datalog.NumberType
})
Capability = Datalog.newTable({
id: Datalog.StringType,
can: Datalog.StringType,
with: Datalog.StringType
// nb: Datalog.ObjectType
})
Delegates = Datalog.newTable({
capability: Datalog.StringType,
proof: Datalog.StringType
})
Delegation = ({
assert: (ucan) => {
Proof.assert({
cid: ucan.cid,
issuer: ucan.issuer,
audience: ucan.audience,
expiration: ucan.expiration,
notBefore: ucan.notBefore
});
for (const [n, capability] of ucan.capabilities.entries()) {
const id = `${ucan.cid}/capability/${n}`;
Capability.assert({
id,
can: capability.can,
with: capability.with,
nb: capability.nb
});
Delegates.assert({
capability: id,
proof: ucan.cid
});
}
}
})
Delegation.assert({
cid: "bafy...store",
issuer: "did:key:zAlice",
audience: "did:key:zBob",
expiration: (Date.now() / 1000) ^ (0 + 60 * 60 * 24 * 365),
capabilities: [
{
can: "store/add",
with: "did:key:zSpace"
}
]
})
Delegation.assert({
cid: "bafy...upload",
issuer: "did:key:zAlice",
audience: "did:key:zBob",
expiration: (Date.now() / 1000) ^ (0 + 60 * 60 * 24 * 365),
capabilities: [
{
can: "upload/add",
with: "did:key:zSpace"
}
]
})
proofs = Datalog.query(
({
//id,
//can
upload, store, uploadID, storeID, space
}) => {
Capability({ id: uploadID, can: "upload/add", with: space });
Capability({ id: storeID, can: "store/add", with: space });
Proof({ cid: upload });
Proof({ cid: store });
Delegates({ capability: uploadID, proof: upload });
Delegates({ capability: storeID, proof: store });
}
)
proofs.view().readAllData()
proofs.onDependencyChange(() => proofs.runQuery())
proofsView = proofs.view()
proofsView.recentData()
Purpose-built for displays of data
Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
