×
乔治·戈特洛布；埃里希·格拉德尔；赫尔穆特·维思

Datalog LITE：带有线性时间模型检查的演绎查询语言。 （英语） Zbl 1365.68203号

ACM事务处理。计算。日志。 3，第1期，42-79（2002）.

引用于8文件

MSC公司：

第68页，共15页 数据库理论
68N17号 逻辑编程
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

复杂性；数据库；保护逻辑；时间逻辑；验证

软件：

数据日志LITE
PDF格式BibTeX公司 XML格式引用
\textit{G.Gottlob}等人，《美国医学杂志》。计算。日志。3，第1号，42--79（2002；Zbl 1365.68203）
全文： 内政部