LogiQL: a Declarative Language for Enterprise Applications

被引：5

作者：

Green, Todd J. ^{[1
]}

机构：

[1] LogicBlox Inc, 1900 Addison St,Suite 200, Berkeley, CA 94704 USA

来源：

PODS'15: PROCEEDINGS OF THE 33RD ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS | 2015年

关键词：

LogicBlox; LogiQL; Datalog; Leapfrog Triejoin; Incremental Maintenance; Transaction Repair;

D O I：

10.1145/2745754.2745780

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We give an overview of LogiQL, a declarative, Datalog-based language for data management and analytics, along with techniques for efficient evaluation of LogiQL programs, emphasizing theoretical foundations when possible. These techniques include: leapfrog triejoin and its associated incremental maintenance algorithm, which we measure against appropriate optimality criteria; purely-functional data structures, which provide elegant versioning and branching capabilities that are indispensable for LogiQL; and transaction repair, a lock-free concurrency control scheme that uses LogiQL, incremental maintenance, and purely-functional data structures as essential ingredients.

引用

页码：59 / 64

页数：6

共 24 条

[1]

[Anonymous], 1972, SIAM J COMPUT, DOI 10.1137/0201004

[2]

[Anonymous], 1999, PURELY FUNCTIONAL DA

[3]

[Anonymous], ACM COMPUT SURV

[4]

Aref Molham., 2015, SIGMOD

[5] Size Bounds and Query Plans for Relational Joins [J].

Atserias, Albert ;

Grohe, Martin ;

Marx, Daniel .

PROCEEDINGS OF THE 49TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2008, :739-+

[6]

Chin Brian., 2015, SNAPL

[7]

de Moor Oege, 2011, DAT REL P 1 INT DAT

[8]

Demaine ED, 2000, PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P743

[9]

Gupta A., 1993, SIGMOD Record, V22, P157, DOI 10.1145/170036.170066

[10]

Halpin T., 2014, LogiQL: A Query Language for Smart Databases

← 1 2 3 →