科学研究方法是发现、确定研究问题和解决问题的有力工具,是指导正确进行研究工作的保证。数据库学术理论研究方法是科学研究中的一个组成部分,为数据库理论研究提供方法、原则、手段、途径。数据库科学理论作为一种高级复杂的知识形态和认识形式,是在已有知识的基础上,利用正确的思维方式、推理形式、研究方法和相关的实践活动而获得的。数据库理论研究和发现是通过学术理论研究方法对课题中理论命题形成命题逻辑链、证明逻辑链而完成的。只有对课题系统分析才能形成命题逻辑链,只有对命题解析、证明方法解析实现命题与证明方法的对接,才能形成证明逻辑链。在学术理论研究过程中,是否拥有正确的思维方式、推理形式、研究方法和相关的实践活动,是能否对数据库学术理论研究做出贡献的关键。正确的思维方式、推理形式和科学方法不仅可以使研究者根据数据库理论科学研究发展的客观规律,确定正确的研究方向,还可以为研究者提供命题的选择及确定、证明方法的解析、证明前命题解析等实现命题和证明方法的对接,即命题证明中选择恰当的推理证明研究的具体方法,因此可以为计算机数据库理论的新发现及发展提供支撑。
哲学的方法论原理是指导人类科学研究的重要指南,因此数据库学术理论研究方法也离不开哲学方法论原理的指导,其实质是哲学方法论原理在数据库理论中的具体应用。数据库理论研究方法是解决数据库理论问题的一把钥匙。
众所周知,计算机的出现是数学计算的产物。数据库理论的发展与数学的发展密不可分,数学理论研究是演绎性质的科学。因此,在数据库理论中命题结论的正确性,一般情况下必须遵循数学逻辑证明,相当大一部分也是通过演绎得到的。此外,数据库还和数学计算有很大不同,大多数理论研究属于应用理论研究范畴,因此和数学中的有些研究方法也不相同。
对于任何自然科学,正确的思维方式和推理形式是产生正确的研究方法的源泉。本书是作者三十九年来对数据库理论研究过程中使用方法的经验总结。本书的出版可能为致力于数据库学术理论深入研究的科研人员提供一些可借鉴的思维方式、推理形式、研究方法,这也是作者撰写本书的目的。