TRC vs DRC
TRC vs DRC. 2003. 10. 12 한욱신. Queries in TRC and DRC. TRC Q = {t| f(t)} where t is a (free) tuple variable and f(t) is a well-formed formula DRC Q = {x 1 ,x 2 ,..,x k | f(x 1 ,x 2 ,..,x k )} where x i is a (free) domain variable and f(x 1 ,x 2 ,..,x k ) is a well-formed formula.
306 views • 8 slides