用于数据库新兴应用程序的逻辑

• 作者: G．萨基（编） J．乔米基（编） R．迈登（编） 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 数据库理论 逻辑工具 应用程序 数据库系统管理 信息系统 分布式数据源 查询语言 数据模型 信息类型 复杂组织
• 年，卷（期）: 2006,（7）
• 页码范围: 22-23
• 页数: 2页
• 分类号: TP311.13

摘要

逻辑与数据库及信息系统之间的关系是广泛和长期存在的。对于数据库理论家而言，逻辑是一个统一的框架。在该框架内可以理解数据模型和查询语言的语义学；允许对它们的可表达性进行比较；并且应用高度开发的数学逻辑工具给出深入的理解。随着数据库系统管理的信息类型日益丰富．数据库和信息系统的逻辑价值也就更加突出。异构和分布式数据源包括了从遗传序列到具有丰富时态的结构；从结合文本与数据的半结构文件到有关复杂组织协同进程的信息。