CFR as a Database Query

• CFR(x, y) is often specified as a query on a database of retrievable facts:

• CFR(x,y) = “( (There exists a valid Marriage License between x and y) and (There exists no subsequent record of Divorce between x and y) )”.

Previous slide

Next slide

Back to first slide

View graphic version