域关系微积分不安全查询

Question

我不确定以下是一个不安全的查询。 “不安全查询”表示答案集是无限的。我寻求解释为什么它是一个不安全的查询，因为我不理解查询。

有2个表：

发票

number(PK)    customer   date         amount
12343         121        24/4/11      123455
23432         234        1/3/11       3234
23456         121        12/4/11      12540
67891         121        1/4/11       1432
19473         234        11/12/11     555

客户

code(PK)    name     address
121         a        ab
234         b        bc
233         c        cd
122         d        de

查询是：

{< X1, Z2 > |
    ƎY1, ƎZ1, ∀X2, ∀V2 (
            customer(X1, Y1, Z1)
        ᴧ  (invoice(X2, X1, Z2, V2) --> Z2 >= '1/4/11')
    )
}