Powerful Database Access Optimization Calculus