×
西蒙·克鲁恩斯;斯迪恩·海曼斯;伊恩·梅森;萨姆·奥雷;Natarajan Shankar

证据工具总线的数据日志语义（扩展抽象）。 （英语） Zbl 1407.68079号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 256-275 (2014).
概要：证据工具总线（ETB）是一个分布式工具集成框架，用于构建和维护保证案例。ETB使用Datalog作为元语言来定义工作流和表示参数。数据日志在ETB中的应用与它作为数据库查询语言的使用在一些重要方面有所不同。例如，在ETB数据日志中，谓词可以绑定到外部工具调用。此类外部调用的操作处理比在Datalog中使用内置谓词更具表现力。我们概述了ETB中使用的Datalog变体的语义特征，并描述了用于评估Datalog查询的抽象机器。
关于整个系列，请参见[Zbl 1283.68036号].

MSC公司：

68N17号 逻辑编程

软件：

数据日志
PDF格式BibTeX公司 XML格式引用
\textit{S.Cruanes}等人，Lect。注释计算。科学。83732256-275（2014年；兹比尔1407.68079）
全文： 内政部

参考文献：

[1] Abiteboul，S.，Hull，R.，Vianu，V.：数据库基础。Addison-Wesley，雷丁（1995）·Zbl 0848.68031号
[2] Alvaro，P.、Marczak，W.R.、Conway，N.、Hellerstein，J.M.、Maier，D.、Sears，R.：Dedalus：时空数据日志。施普林格（2011）
[3] Ceri，S.，Gottlob，G.，Tanca，L.：关于数据日志，你一直想知道什么（但从来不敢问）。IEEE知识与数据工程汇刊1（1），146-166（1989）·数字对象标识代码：10.1109/69.43410
[4] Cleary，J.G.，Utting，M.，Clayton，R.：作为并行编程语言的数据日志。技术报告ISSN 1177-777X，怀卡托大学计算机科学系（2010）
[5] Cruanes，S.、Hamon，G.、Owre，S.和Shankar，N.：工具与证据工具总线的集成。收录人：Giacobazzi，R.，Berdine，J.，Mastroeni，I.（编辑）VMCAI 2013。LNCS，第7737卷，第275-294页。斯普林格，海德堡（2013）·doi:10.1007/978-3-642-35873-9_18
[6] Gallaire，H.，Minker，J.：逻辑和数据库。珀尔修斯出版社（1978）·Zbl 0412.68089号 ·doi:10.1007/978-1-4684-3384-5
[7] Hellerstein，J.M.：陈述命令：分布式逻辑中的经验和猜想。ACM SIGMOD记录39（1），5-19（2010）·数字对象标识代码：10.1145/1860702.1860704
[8] Huang，S.S.，Green，T.J.，Loo，B.T.：数据日志和新兴应用程序：交互式教程。收录于：Sellis，T.K.，Miller，R.J.，Kementsietsidis，A.，Velegrakis，Y.（编辑）SIGMOD会议，第1213-1216页。ACM（2011）·doi:10.1145/1989323.1989456
[9] Loo，B.T.、Condie，T.、Garofalakis，M.、Gay，D.E.、Hellerstein，J.M.、Maniatis，P.、Ramakrishnan，R.、Rosco，T.和Stoica，I.：声明性网络：语言、执行和优化。摘自：2006年ACM SIGMOD国际数据管理会议记录，第97–108页。ACM（2006年）·doi:10.1145/1142473.1142485
[10] Sagonas，K.，Swift，T.：用于固定顺序分层逻辑程序的表格执行的抽象机器。美国计算机学会程序设计语言与系统学报（TOPLAS）20（3），586–634（1998）·数字对象标识代码：10.1145/291889.291897
[11] Shankar，N.：逻辑算法的推理系统。收录：Sarukkai，S.，Sen，S.（编辑）FSTTCS 2005。LNCS，第3821卷，第60-78页。斯普林格，海德堡（2005）·兹比尔1172.03311 ·doi:10.1007/11590156_4
[12] Whaley，J.、Avots，D.、Carbin，M.、Lam，M.S.：使用带有二进制决策图的数据日志进行程序分析。载于：Yi，K.（编辑）APLAS 2005。LNCS，第3780卷，第97-118页。斯普林格，海德堡（2005）·兹比尔1159.68386 ·数字对象标识代码：10.1007/115754678
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。