Skip to main content

A theory of nondeterministic databases