We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
ui
update
将最近读的3篇文章从一个问题的角度总结了一下
之前两篇文章在关于确定转化结果唯一性的问题上,都提到了《Update Semantics of Relational Views》,读了一下,作者提出了一种方法,在多个底层数据库转化中确定地选出一个。
补全test-case-2的insert例子
Relational Lense 大致看完了,它的解决方法比Inverse Image的方法要求更严格,结果更唯一,覆盖范围更小
论文Relational-Lense单独开一个wiki
尖括号
1. test-case说明 2. 论文补充
原论文中有些笔误(自认为),订正并补充了些内容
开头的说明有笔误
\exists符号渲染
新论文读完一半了,彻底晕了。缓一缓,准备回头把原论文后半部分的框架搭出来
2024年的第一次push!
No commit message
空集符号渲染
论文后半部分粗略看了一遍,还有些地方感觉不太对劲,等会把结尾的总结看了吧
又忘改公式了
理论上的部分问题
进度报告
报告8更新
更新报告
report-8
math block
Merge branch 'master' of https://github.com/9triver/SQLGraphExplorer.wiki