Skip to content

Instantly share code, notes, and snippets.

@mwhittaker

mwhittaker/division.txt

Created October 3, 2017 22:01
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 mwhittaker/0f7501b579a3d728afe1a89e6341b273 to your computer and use it in GitHub Desktop.
Save mwhittaker/0f7501b579a3d728afe1a89e6341b273 to your computer and use it in GitHub Desktop.
Download ZIP
Relational Algebra Division
Raw
division.txt
group: division
R = { a:string, b:number
a, 1
a, 2
a, 3
b, 2
b, 3
c, 1
}
S = { b:number
1
2
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment