SQL语言的形式语义

对SQL查询的形式语义的研究有助于形式地证明两条SQL语句是否等价,从而消除了自然语言的二义性。SQL标准对SQL的语义规则进行了定义,但是并没有很好地处理不完全信息问题。文中以中介逻辑谓词演算系统MFM为基础,构造一个形式的三值谓词演算模型EPMC,然后通过语法转化规则把SQL查询转化为EPMC,从而完整地定义了SQL查询的形式语义。

金融信息化人才的特征分析与培养途径探索

在金融业日益显现对社会资源高效配置的强大支撑能力之时,信息化已经成为现代金融服务的命脉。金融信息化人才是既懂金融理论又懂信息技术的复合型人才。文章分析了金融信息化人才的特征及需求变化,探索了在信息管理与信息系统专业建设的基础上培养金融信息化人才的方案设计及其实践。

浅论操作系统与经济学的共性与区别

本文从操作系统和经济学两方面论述了他们存在的原因,以及两者具有的稀缺性、效率性、开放性的共性,并比较了两者实现资源配置效率目标的手段的不同。

平稳性假设在统计学教学中的应用

本文借助组距数列组中值、计划提前完成期、组距数列众数、组距数列中住数、时点数列序时平均数的求法来说明分布平穗性、进度平稳性、分布倾向平稳性、排列平稳性、发展平稳性这五种平稳性假设在统计教学中的应用.

和谐社会中的法经济学精神

通过阐述法经济学的核心精神公平与效率的内涵及两者的冲突,分析在和谐社会的背景下公平与效率的关系应该是寻求两者的相统一,认为在法律问题上要坚持公平优先兼顾效率,在经济问题上要坚持效率优先兼顾公平的原则。

宁波金融人才需求统计分析及预测

本文运用了SPSS统计分析软件对选取的影响宁波金融人才需求量的固定资产投资完成额、金融机构年末存款余额、第三产业增值、人口总数、普通高校人才总数五个因素进行了相关分析,建立了多元回归模型,并根据模型进行预测,为人才培养提供参考。

学术腐败凸显高校困境——促进大学教师专业发展的机制研究

当前中国高校普遍存在的问题是,始终未将教师专业发展作为学校管理的一项重要任务来看待。本文从我国大学教师的现状出发,分析了大学教师的特点,并在此基础上阐述了大学教师专业发展的内涵。最后从构建合作型教师文化、引入发展性评价、建立终身教育学习培训体系三个方面对促进大学教师专业发展的机制进行了探索。

高校附近小吃流动摊点对在校大学生及周边社会环境的影响——基于蚌埠市大学城调查为例

高校小吃摊行业近几年发展迅猛,但由于自身发展不完善也带来一系列问题。本文通过问卷调查收集信息,并结合经济学理论分析小吃摊点受大学生欢迎的原因,同时也指出现阶段存在的问题,并提出合理化建议。一、引言近年来,大学附近到处可见流动摊点。这些摊点在提供丰富同时,也带来食品、交通等安全问题。