The Complete Axiomatization of Cs-congruence.

Joachim Parrow Peter Sjödin

Published in: STACS (1994)

Keyphrases

complete axiomatization
computer science
inclusion dependencies
socio technical
database
data structure
student motivation
database systems
index structure