机译:ROL演绎的面向对象数据库系统的设计与实现
机译:扩展约束演绎数据库:理论与实现
机译:关系数据库依赖的形式系统的健全性:Tableau演绎系统的应用
机译:CORAL演绎数据库系统的实现
机译:用于CORAL演绎数据库系统的设计文档。
机译:珊瑚三角地图集:用于改善珊瑚礁管理的集成在线空间数据库系统
机译:CORaL演绎数据库系统的实现
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行