偏斜广播的两层可串行化移动实时并发控制

针对偏斜数据广播系统,提出两层移动实时事务模型,允许把移动实时事务分解为多个事务帧,以便以帧为粒度更精细地管理移动实时事务操作的并发执行.提出可动态调整帧串行化顺序的并发控制协议BCCDSS,避免不必要的帧夭折,尽可能早地在移动客户机端检测帧数据冲突,并减少须夭折的帧操作,让须夭折的移动事务帧尽早夭折,从而大大提高移动实时事务处理效率.对BCC-DSS协议的性能进行了评价,结果表明BCC-DSS协议能显著改进无线移动实时事务的平均响应时间、重启率和超期率.     

Quasi Serializable Concurrency Control in Distributed Real—Time Database Systems

This paper formally defines and analyses the new notion of correctness called quasi serializ-ability,and then outlines corresponding concurrency control protocol QDHP for distributed realtime databases.Finally,through a series of simulation studies,it shows that using the new concurrency control protocol the performance of distributed real-time databases can be much improved.     

基于AHP的应急平台信息安全风险评估

应急平台信息安全风险评估是我国应急平台建设工作重点任务之一.分析了应急平台信息安全风险要素,运用层次分析法,构建风险层次结构模型,结合构造的风险评估数学模型,最终确定了应急平台所面临的各类风险值.根据分析结果对应急平台安全风险进行规避,降低,转移,对加强应急平台安全具有重要意义.     

广播环境中伪可串行化实时并发控制协议

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。     

Prolog访问FoxBASE数据库文件的方法

人工智能和数据库的结合是计算机技术发展的必然结果,而数据库和逻辑推理机结合关键是逻辑推理机与传统数据库间的接口,设计了一组Ｐｒｏｌｏｇ访问ＦｏｘＢＢＡＳＥ数据库文件的工具谓词,具有普遍适用性,依据其思路和设计,也可以很地实现逻辑推理机和数据库库间的接口。     

Quasi serializable concurrency control in mobile broadcast environments

The problem of maintaining data consistency in mobile broadcast environments is researched.Quasi serializability is formally defined and analyzed at first.It was shown that quasi serializability is less stringent than serializability when database consistency is maintained for transactions.Then,corresponding concurrency control protocol that supports both update transactions and read-only transactions is outlined for mobile broadcast environments.Finally,the simulation results confirmed that the proposed protocol could improve the response time significantly.     

支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题，提出使用弱可串行化正确性准则．形式化定义了弱可串行化这种新的正确性准则，证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性，给出了保证弱可串行化的充分必要条件．基于时标段排序原理，提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC—MUR．通过性能评价实验验证了新协议的有效性：WBCC—MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求．