Integrity Constraints Specification in the Tuple Relational Calculus

Badawy, M., Richta, K.

BADAWY, M. and K. RICHTA. Integrity Constraints Specification in the Tuple Relational Calculus. In: Proceedings of Workshop 2002. Workshop 2002, Praha, 2002-02-11/2002-02-13. Praha: Czech Technical University in Prague, 2002. p. 214-215. ISBN 80-01-02511-X.