关系演算和SQL中使用量词和实现蕴涵的教学方法探讨

在元组关系演算(尤其是元组关系演算语言ALPHA)和关系数据库标准语言中,量词的含义 理解、直接使用、转换使用以及蕴涵功能(Implication)的实现等是教学难点,结合案例提出了讲授 这些知识点的一些新思路和新方法,取得了较好的教学效果.     

带界约束条件min-max问题的混合遗传非光滑算法

利用遗传算法和非光滑算法给出带界约束条件Min-max问题的一个混合算法,这种方法综合了2种方法的优点,从数值算例可以看出算法的有效性.     

在Visual C++6.0中通过ODBC实现SQL

本文主要介绍了ODBC技术，使用ODBCAPI函数SQL ConfigDataSource和WINDOWS API函数Get Module File，通过数据库开发前端工具Visual C 6．0的代码形式实现了Microsoft ACCESS2000的mdb数据库文件的自动配置；通过ODBC函数的应用程序，利用SQL完成了对数据库的查询，说明使用ODBC技术可以在逻辑上分离应用程序与DBMS，保证了应用程序的数据库无关性，提高了应用程序的可重复性和可移植性。