Structure-independent Databases; Formal Model; Metadata Manipulation;
机译:面向关联的数据库元模型(AssoBase)的形式化定义和建模语言
机译:使用形式化概念分析对词汇数据库进行建模
机译:与患者特定的心房纤维方向的网格结构无关模型
机译:结构无关数据库的正式模型
机译:使用数据库方法管理业务工作流:正式模型,案例研究和原型
机译:解决临床数据库中时间不匹配的正式方法。
机译:针对患者特异性心房纤维取向的网格结构独立建模
机译:构建和评估面向对象的数据库系统概念模型形式规范的方法