Login / Signup

Formal Systems for Join Dependencies.

Catriel BeeriMoshe Y. Vardi
Published in: Theor. Comput. Sci. (1985)
Keyphrases
  • formal methods
  • normal form