关系演算相关论文
查询包含问题是查询优化的基本算法问题。在数据库理论方面,约束关系模型的不等式合取查询包含问题已经得到解决。然而,由于数据库......
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Prog......
Web服务编排描述语言(Web Services Choreography Description Language,简称WS-CDL)从全局的视点描述服务组合各个参与方的行为规......
