数据库管理系统 数据库机器 数据字典 程序设计语言 数据库系统 数据库管理软件 数据库管理 时态逻辑