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

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