A simple characterization of database dependency implicationYoshito HanataniRonald Fagin1986Information Processing Letters