吉林大学学报(理学版)2025，Vol.63Issue(1)：P.60-66,7.DOI:10.13413/j.cnki.jdxblxb.2024505
地理链接数据的空间拓扑完整性验证
摘要
关键词
地理链接数据/空间完整性约束/饱和式推理/完整性验证/空间约束组件分类
信息技术与安全科学引用本文复制引用
卢禹博,叶育鑫,欧阳丹彤..地理链接数据的空间拓扑完整性验证[J].吉林大学学报(理学版),2025,63(1):P.60-66,7.基金项目
吉林省科技厅基础研究项目(批准号:20220101114JC). （批准号:20220101114JC）
