多类型逻辑相关硕士博士期刊学术论文 - 信丰网

多类型逻辑相关论文

CO—LOGIC：一种支持约束演绎OODB语言的多类型逻辑

近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。......

期刊

OODB语言约束演绎多类型逻辑 Deductive database Object-oriented database Constraint logic p

看过本文同时还关注