Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
UDF type/operator provenance equivalences
| Strings and substrings | |
| Prov〚substringc,d(substringa,b(S))〛≡ Prov〚substringa+c,a+d(S)〛 | if c, d ≤ b − a |
| Images and Cropping | |
| Prov〚crop(x3,y3),(x4,y4) (crop(x1,y1),(x2,y2)(I))〛≡ Prov〚crop(x1+x3,y1+y3),(x1+x4,y1+y4)(I)〛 | If x3, x4 ≤ x2 –
x1 ˄y3, y4 ≤ y2 – y1 |
| Trees and simple path expressions | |
| Prov〚pathevalx(pathevaly(T))〛≡ Prov〚pathstepx/y(T)〛 | |
