Reduction semantics for rational schemes

Pour des schemas relationnels, construits par recurrence par combinaison de projections, compositions et resolutions, nous introduisons la semantique par reduction et nous donnons une preuve algebrique de son equivalence avec la semantique denotationnelle