数据库管理系统 数据库机器 数据字典 程序设计语言 数据库系统 数据库管理软件 数据库管理 时态逻辑 软件工程 时态数据库 多元组 现实世界 语言设计 数据库技术 述评 发展与趋势