• 关系代数的除法运算探讨

    关系代数的除法运算探讨

    一、对关系代数除法运算的探讨(论文文献综述)戴牡红[1](2021)在《SQL查询语言的分治法教学研究》文中进行了进一步梳理当面对一个较为复杂的查询需求时,学生常感到无从下手,...
  • 证明组合方程的两种方法

    证明组合方程的两种方法

    一、一个组合等式的两种证明方法(论文文献综述)程传虎[1](2021)在《基于上下文感知的定理自动化证明方法研究》文中研究指明软件安全一直以来备受人们关注,也是学术界的主要研究...