Skip to content

Instantly share code, notes, and snippets.

@Visgean

Visgean/solution-q2.txt

Last active Dec 13, 2019
Embed
What would you like to do?
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
You can’t perform that action at this time.