会议论文《基于模型检测的半结构化数据查询》发表于2009年全国理论计算机科学学术年会。该文探讨了如何利用模型检测技术对半结构化数据进行有效查询，提出了一种新的方法来提高查询的准确性和效率。研究结合了形式化验证与数据查询技术，为处理复杂数据结构提供了理论支持和实践指导。
文档为pdf格式，0.3MB，总共5页。
举报
