標題: 點知自己簡化左 ge sql同 existing果條一樣？ [打印本頁]

---

作者: mingming123    時間: 2016-12-2 14:18     標題: 點知自己簡化左 ge sql同 existing果條一樣？

本帖最後由 mingming123 於 2016-12-2 14:35 編輯

如題

via HKEPC Reader for Android

---

作者: tsangwailam    時間: 2016-12-2 15:12

用唔同data test 下

---

作者: EITCo    時間: 2016-12-2 22:34

初步可以實際測試下
但如果要保證另一條SQL一定無錯
只可以從理論角度諗，甚至係證明
因為測試用的數據可能剛好唔包括出錯的情況

---

作者: snoopy11hk    時間: 2016-12-3 00:47

本帖最後由 snoopy11hk 於 2016-12-3 00:49 編輯

其實可以用 Set Theory, Relational algebra 黎 prove/disprove... 不過有無咁的時間同心機?

---

作者: CT333    時間: 2016-12-3 13:46

提示: 作者被禁止或刪除 內容自動屏蔽

---

作者: happy_99    時間: 2016-12-5 11:07


了解set theory 對寫 query好有幫助. 學果時唔覺, 用落去自己既program, 或者做tuning 就知乜野一回事.

---

作者: yjfoeg    時間: 2016-12-5 11:20

我讀U嗰陣Database同Info System嗰啲科目包埋set theory同relational algebra的 (仲要考試真係有問)
而家仲有冇就唔知了

---

作者: mingming123    時間: 2016-12-6 09:02

回復 7 #yjfoeg

有考

via HKEPC Reader for Android

---

作者: 紫河馬    時間: 2016-12-6 09:13

有讀過...但比番曬professor
online 好似有D tool幫手
例如
http://dbis-uibk.github.io/relax/

---

作者: happy_99    時間: 2016-12-6 10:10


我嚮A-level Pure maths 讀. 拎住本 elementary set theory , 好野黎.

http://lib.hku.hk/Press/9622090133.pdf