Database Transactions in a Purely Declarative Logic Programming Language

机译：纯声明式逻辑编程语言中的数据库事务

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We demonstrate how a purely declarative language, with the help of strict typing, precise moding, and determinism declarations, can be used to concisely and declaratively express database transactions, including updates. We have begun incorporating transactions into the Aditi deductive database system using an extended form of Mercury as the database programming and query language.

机译：我们演示了如何在严格的类型，精确的修改和确定性声明的帮助下，使用纯声明性语言来简洁明了地表示数据库事务，包括更新。我们已开始使用扩展形式的Mercury作为数据库编程和查询语言，将交易合并到Aditi演绎数据库系统中。

著录项

来源
《Fifth International Conference on Database Systems for Advanced Applications Melbourne, Australia April 1-4, 1997》|1997年|p.283-292|共10页
会议地点 Melbourne(AU);Melbourne(AU)
作者
David B. Kemp; Thomas Conway; Evan P. Harris; Fergus Henderson;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
deductive databases; query languages; transactions; updates; declarative programming languages; logic programming languages;

机译：演绎数据库；查询语言；交易；更新;声明式编程语言；逻辑编程语言;

相似文献

外文文献
中文文献
专利

1. Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages [J] . JOSE GAINTZARAIN, PAQUI LUCIO ACM transactions on computational logic . 2013,第4期

机译：更多表达性时态逻辑编程语言的逻辑基础
2. Database Query Languages and Functional Logic Programming [J] . Jesus M. ALMENDROS-JIMENEZ, Antonio BECERRA-TERON New Generation Computing . 2006,第2期

机译：数据库查询语言和功能逻辑编程
3. PALINGOL - A DECLARATIVE PROGRAMMING LANGUAGE TO DESCRIBE NUCLEIC ACIDS SECONDARY STRUCTURES AND TO SEQUENCE DATABASES [J] . Billoud B, Kontic M, Viari A Nucleic Acids Research . 1996,第8期

机译：PALINGOL-一种描述性编程语言，用于描述核酸二级结构和序列数据库
4. Database Transactions in a Purely Declarative Logic Programming Language [C] . David B. Kemp, Thomas Conway, Evan P. Harris, International conference on database systems for advanced application . 1997

机译：纯粹声明性逻辑编程语言的数据库事务
5. Declarative Languages and Systems for Transparency, Performance and Scalability in Database Analytics [D] . Li, Youfu. 2020

机译：数据库分析中的透明度，性能和可扩展性的陈述语言和系统
6. Palingol: a declarative programming language to describe nucleic acids secondary structures and to scan sequence database. [O] . B Billoud, M Kontic, A Viari 1996

机译：Palingol：一种描述性编程语言用于描述核酸的二级结构并扫描序列数据库。
7. The execution algorithm of mercury, an efficient purely declarative logic programming language [O] . Somogyi Zoltan, Henderson Fergus, Conway Thomas 1996

机译：水银的执行算法，一种高效的纯声明式逻辑编程语言
8. Axiomatization, Declarative Semantics and Operational Semantics of Passive andActive Updates in Logic Databases [R] . Spruit, P., Wieringa, R., Meyer, J. J. C. 1992

机译：逻辑数据库中被动和主动更新的公理化，声明语义和操作语义

Database Transactions in a Purely Declarative Logic Programming Language

摘要

著录项

相似文献

相关主题

期刊订阅