Login / Signup

A top-down proof procedure for generalized data dependencies.

Stéphane Coulondre
Published in: Acta Informatica (2003)
Keyphrases