240 发简信
IP属地:浙江
  • 120
    元祖关系演算ALPHA——如何使用量词与蕴含?

    对于元组关系演算ALPHA,始终有点不得要领,对于较为复杂的逻辑表达,虽然可以勉强看懂但是无法自己构造出来,特别是涉及到全称量词、存在量词和蕴含关系式的时候。 如果冷静下来仔...