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

Logics for Emerging Applications of Databases

作　　者：J．乔米基（编） R．迈登（编） G．萨基（编） 胡光华[4] 

机构地区：[1]Dept. of Computer Scienceand Engineering, University at Buffalo,State University of New York, USA [2]School of ComputerScience and Engineering, University of NewSouth Wales, Sydney, Australia [3]Fakultat für Inforrnatik,Otto-von-Guericke-Universit/it Magdeburg,Germany （Eds.） [4]原中国科学院物理学研究所高级软件工程师

出　　处：《国外科技新书评介》2006年第7期22-23,共2页Scientific & Technology Book Review

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

关 键 词：数据库理论 逻辑工具 应用程序 数据库系统管理 信息系统 分布式数据源 查询语言 数据模型 信息类型 复杂组织 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]