量子非定域性的研究不仅是量子力学理论体系中的基本问题,而且在当今的研究热点量子信息处理,如量子计算、量子通信和量子密码安全等方面发挥重要的意义。本论文的主要内容就是从关联的角度,对量子非定域性研究的历程做了一个系统的梳理介绍。从EPR佯谬引发对量子力学的质疑,到隐变量理论的创立,直至贝尔提出的检验非定域性的不等式以及后来拓展的无不等式的贝尔定理,我们沿着这样一条发展路线阐述了量子非定域性研究的发展。其中,对于推广和构造贝尔类型的不等式,我们提出了一种构造非同类不等式系统方法。而对于无不等式的贝尔定理,我们先是推广到了更一般的三粒子GHZ态和W态,进一步地,我们推广一些四粒子的特殊混态的无不等式的贝尔证明。本论文的主要内容和结构如下:第一章介绍了各种类型关联的定义,包括广义关联,无信号关联,定域关联,部分定域关联,和量子关联。第二章详细的介绍了定域隐变量模型的产生过程。对于EPR佯谬,玻姆模型,冯诺依曼对于无弥散态的证明,贝尔对冯诺依曼证明的质疑,以及格里森定理都做了详细的介绍。进一步地,也给出了多体隐变量模型的定义。第三章首先介绍了贝尔不等式以及CHSH不等式的构造过程,以及它们体现最大违反。随后介绍了墨明所设计的关于不等式的形象描述。最后详细阐述了一种构造非同类不等式的系统方法。第四章首先关于无不等式证明的GHZ模型,其次给出了关于部分广义GHZ态和W态的无不等式的贝尔证明,最后将无不等式的贝尔证明拓展到了特殊四粒子的纠缠混态。第五章尝试讨论了定域隐变量理论与非对易性之间的关系。第六章结论