observational equivalence
Technology Dictionary
-> observational equivalence
Search:
observational equivalence
Two terms M and N are observationally equivalent iff for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value.
©
Art Branch Inc.
SQL Tutorial