First page Back Continue Last page Graphics
Translating algebra to tupel calculus
- Union: let { t | f(t) } be a tc expression equivalent to E1 and { t | g(t) } be a tc expression equivalent to E2 then E1 E1 is translated to { t | f(t) g(t) }
- Difference: let { t | f(t) } be a tc expression equivalent to E1 and { t | g(t) } be a tc expression equivalent to E2 then E1 - E1 is translated to { t | f(t) g(t) }
Notes: