最近学数据库时遇到ALPHA语言,有点搞不懂,
  问题:
   1.有的时候好像可用存在量词,又好像不用,给人的感觉都可以,没区别,问什么时候该用,什么时候不该用?
   2.对于存在量词,全称量词,这两个我也很难区别,把存在该为全称或是把全称该为存在,似乎有没区别.
   个人认为应该从语上解释,或是从元组变量的角度解释???我也不知道...
总之很困惑,希望指点指点,最好有例子区分区分.
   谢谢!!!