Telecharger Cours

I 'S3* I I - Records Collections

... --equivalence transformation: Delete a rule A +- B 1\ -,C such that there is another rule A' +- B' 1\ -,C' with A' ~ A, B' ~ B, and C' ~ C ...



Download