kw.\*:("Equality generating dependency")
Results 1 to 1 of 1
Selection :
A top-down proof procedure for generalized data dependenciesCOULONDRE, Stéphane.Acta informatica. 2003, Vol 39, Num 1, pp 1-29, issn 0001-5903, 29 p.Article