论文部分内容阅读
该文在ＢＬＰ模型的基础上提出了一个面向数据库的改进模型，并给出了正确性证明。
一个面向数据库的改进的ＢＬＰ模型
【摘 要】
：
该文在ＢＬＰ模型的基础上提出了一个面向数据库的改进模型，并给出了正确性证明。
【机 构】
：
华中理工大学
【出 处】
：
第九次全国计算机安全学术交流会
【发表日期】
：
1994年期
其他文献
塔式起重机在我国已经得到了广泛使用,塔式起重机本身的特点决定了它对制造过程的高标准要求,而制造过程中的焊接质量又成为了重中之重,对塔式起重机制造过程焊接质量进行控
该文简要介绍ASP技术的工作原理，论术使用ASP技术开发Web数据库应用的基本方法，最后给出了一个基于ASP技术实现Web数据库应用的编程实例。
Web技术与数据库技术的结合是超媒体系统发展的需要。该文从介绍Web技术入手提出Web与数据库的连接以及其连接途径，比较了它们的优点和不足之处，最后介绍了CGI编程。
杂交稻制种后期优质高产的几项关键技术湖南省桃源县种子公司陶用力父母本破口露粒至成熟收割为制种的后期。这个时期的关键技术是：１塑造父母本理想异交株型和最佳授粉态势。所
该文结合采用ＯＬＴＰ技术的某证券交易系统，从数据库的物理存储安全、身份认证授权控制、监视跟踪、防止攻击等方面阐述了数据库安全性的实现。
质疑能力在学生学习的过程中起着重要的作用。英语教学时，教师应让学生带着问题思考，并鼓励学生大胆质疑，进一步培养学生的质疑能力，进而提升教学质量。 一、创设问题情境，激发学生生疑 在教学时，教师应根据学生求知欲比较强的特点，按照教学内容设置适宜的问题情境，以唤起学生的求知欲，進而让学生主动质疑。但在创设问题情境时，教师要先通过英语知识问题情境使学生心中出现疑团，然后再形成相应的悬念，最后引导学生
在数据库系统中，平行控制保证了多用户能同时正确地使用库中数据。文中讨论了平行控制中的二个问题。一是分布式的有效调度器。尽管DSR类在集中式数据库中存在有效调度器，但分