Skip to content

Instantly share code, notes, and snippets.

@Visgean
Last active December 13, 2019 21:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Visgean/8467b0196f9d88be8b2a8da890a7433a to your computer and use it in GitHub Desktop.
Save Visgean/8467b0196f9d88be8b2a8da890a7433a to your computer and use it in GitHub Desktop.
pi Customer.id, Customer.name ( Customer ⨝
(
pi id Customer - (
rho id←custid (
pi custid Account
) )
) )
-- this is an example
group: bankexample
Customer = {
id:number, name:string, city:string
1, 'John', 'Lond'
2, Mary, Edin
3, Jeff, Lond
4, Jane, Card
}
Account = {
number:number, branch:string, custid:number, balance:number
111, Lond, 1, 120
222, Edin, 1, 62
333, Lond, 3, 76
444, Lond, 2, 200
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment