Algebraic Specification of Database Models

Hnátek, M.

HNÁTEK, M. Algebraic Specification of Database Models. In: POKORNÝ, J. and V. SNÁŠEL, eds. DATESO 2003. Desná, 2003-04-09/2003-04-11. Ostrava: VŠB-TUO, 2003. p. 62-69. ISBN 80-248-0330-5.