Tuple And Domain Relational Calculus