A Proof System with Bounded Non-determinism in Database Transformations

Sorry, there's nothing here.

Cite this paper

@inproceedings{Wang2010APS, title={A Proof System with Bounded Non-determinism in Database Transformations}, author={Qing Wang}, booktitle={SDKB}, year={2010} }