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: České vysoké učení technické v Praze, 2002. pp. 214-215. ISBN 80-01-02511-X.