摘要:分布式数据库系统出现了支持多协调器和多副本存储的新架构，这给事务调度的正确性带来了新的挑战，包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义，为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.该形式化模型为事务的正确调度提供具有鲁棒性的评价标准，可以方便地对数据库事务调度情况进行动态或静态分析检验.

摘要:一般而言，读写分离技术可以解决当前大数据环境下的读写速度失配的部分问题，但是现有的读写分离技术主要是针对同构数据库的解决方案.由于存储结构的不一致，由行式存储数据库和列式存储数据库构成的异构分布式数据库系统相较于同构分布式数据库系统在数据同步的过程中就会面临格式转换、同步速度不匹配等诸多难题.提出了基于MySQL二进制日志（Binlog）进行SQL还原的方法TD-Reduction，设计并实现了Binlog解析器BinParser和Binlog还原器BinReducer，它们可以基于Mixed格式的Binlog，针对不同的事件（event）进行日志的解析，并依据相应的规则进行还原，生成可执行的SQL语句.综合以上技术，实现了一款分布式数据库数据同步工具Cynomys.在实验环境中，Cynomys表现出较好的性能.该方法适用于所有具有类似Binlog机制的其他异构数据库之间进行数据同步.

摘要:间隔查询作为重要的查询类型，广泛应用在社交网络、信息检索和数据库领域.为了支持高效的间隔查询，涌现出多种优化技术.尽管已有方法能够快速响应单个间隔查询，然而当查询负载超过服务器的处理能力时，70%的查询均不能在期望时间内得到响应.针对这一问题，提出采用共享执行策略优化间隔查询的方法SESIQ（shared execution strategy for interval queries）.SESIQ对间隔查询进行批处理，分析一组间隔查询间可共享的操作，减少重复数据的访问，从而降低磁盘I/O和网络传输代价，提高检索性能.理论分析并实验验证了SESIQ的可行性，基于两种真实数据集的大量实验结果表明，SESIQ是有效的，间隔查询的检索性能可提升数十倍.

摘要:基于位置的服务可以指引用户找到在特定位置或区域内能够提供所需要服务的对象(比如找某个高校附近(经纬度标识)的咖啡店).向这类服务提交一个查询位置和多个关键词,该类服务返回k个最相关的对象,对象和查询的相关性同时考虑空间相近性和文本相似性.为了支持高效的top-k空间关键词查询,出现了多种混合索引,然而现有的这些索引为了提供实时响应均耗费大量存储空间.提出一种基于压缩技术的索引CSTI,该索引显著减少了存储开销(至少减少80%甚至到两个数据量级),同时保持高效的查询性能.大量基于真实和仿真数据集的实验结果表明,CSTI在空间开销和响应时间上均优于已有方法.

摘要:数据同步技术是移动数据库系统中消除移动客户机与数据库服务器之间数据不一致和冲突的主要方法.给出了小金灵移动数据库系统Lite/2中所采用的基于数据同步对象的事务性数据同步方法,它能够保持数据的语义一致性.此外,Lite/2将同步失败恢复和队列技术相结合来优化事务性同步过程的总通信代价.实验结果表明,Lite/2中的同步方案是高效合理的.