SQL查詢安全性驗(yàn)證
本文檔由 abettor 分享于2015-02-24 11:19
很多程序需要訪問關(guān)系型數(shù)據(jù)庫中的數(shù)據(jù),這一般通過SQL寫的查詢來實(shí)現(xiàn)的。雖然SQL語言是描述式的語言,但是某些運(yùn)行時(shí)錯(cuò)誤還是會(huì)發(fā)生。由于這些錯(cuò)誤的出現(xiàn)往往與數(shù)據(jù)有關(guān),在測(cè)試的階段發(fā)現(xiàn)這些錯(cuò)誤并不容易。一個(gè)查詢是否安全的問題可以歸結(jié)為一致性檢查。眾所周知,一致性是一般不可判定的,并且這也同樣適用于SQL查詢。不過,在這篇論文中,我們倡導(dǎo)一個(gè)能處理超大SQL子集的一致性檢查(它運(yùn)用有序Skolem方法來Skolemi..
- 文檔格式:
- .doc
- 文檔大小:
- 130.5K
- 文檔頁數(shù):
- 12頁
- 頂 /踩數(shù):
- 0 / 0
- 收藏人數(shù):
- 1
- 評(píng)論次數(shù):
- 0
- 文檔熱度:
- 文檔分類:
- IT計(jì)算機(jī) — 數(shù)據(jù)庫
- 添加到豆單