CAJ | 학술논문

完整性约束有效地维护了数据的合法性和有效性,而越来越多的数据库应用依赖于多个独立的数据源,即使对于给定的约束,这些数据源分别是一致的,集成时就可能不一致.一致性查询应答(CQA)基于候选数据库语义,保持非一致性源数据不变,在查询时获取一致性信息.本文讨论了CQA的查询重写、概率方法、冲突图和逻辑编程等计算机制,并基于普通CQA语义进一步分析了聚集查询的范围语义；通过对CQA计算方法和聚集查询计算复杂性的比较,分析得到在实际中大部分查询是PTIME的；对于是单一函数依赖的一些聚集函数,CQA采用查询重写是PTIME的.此外总结了不同的应用领域下其他候选数据库语义,最后提出了需要进一步研究的问题.
완정성약속유효지유호료수거적합법성화유효성,이월래월다적수거고응용의뢰우다개독립적수거원,즉사대우급정적약속,저사수거원분별시일치적,집성시취가능불일치.일치성사순응답(CQA)기우후선수거고어의,보지비일치성원수거불변,재사순시획취일치성신식.본문토론료CQA적사순중사、개솔방법、충돌도화라집편정등계산궤제,병기우보통CQA어의진일보분석료취집사순적범위어의；통과대CQA계산방법화취집사순계산복잡성적비교,분석득도재실제중대부분사순시PTIME적；대우시단일함수의뢰적일사취집함수,CQA채용사순중사시PTIME적.차외총결료불동적응용영역하기타후선수거고어의,최후제출료수요진일보연구적문제.