121发表在"Android Studio 3.5.2最小化接入weex 0.28.0实践"
默默发表在"Android Studio 3.5.2最小化接入weex 0.28.0实践"
定义:在元组关系演算系统中,称{t|Q(t)}为元组演算表达式,其中t是元组变量,Q(t)是元组关系演算公式;它由原子公式和运算符组成.
我们接下来看看原子公式的三类:
2,t[i]Θu[j]: t,u是元组变量,Θ是算术比较运算符.t[i]Θu[j]表示命题"元组t的第i个分量与元组u的第j个分量满足比较关系Θ"
3,t[i]Θc或者cΘt[i]这里的c是常量,该公式表示"t的第i个分量与常数c满足比较关系Θ"举个很简单的例子:t[4]=3表示t的第4个分量等于3.