Results 1 - 4 of 4

Logicblox, platform and language: A tutorial

by Todd J. Green, Molham Aref, Grigoris Karvounarakis - In Datalog in Academia and Industry , 2012
"... Abstract. The modern enterprise software stack—a collection of applications supporting bookkeeping, analytics, planning, and forecasting for enterprise data—is in danger of collapsing under its own weight. The task of building and maintaining enterprise software is tedious and laborious; application ..."
Abstract - Cited by 8 (1 self) - Add to MetaCart
; applications are cumbersome for end-users; and adapting to new computing hardware and infrastructures is difficult. We believe that much of the complexity in today’s architecture is accidental, rather than inherent. This tutorial provides an overview of the LogicBlox platform, a ambitious redesign

Experience Report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base ∗

by R. E. K. Stirewalt, Spencer Rugaber, Hwa-you Hsu, David Zook
"... When modeling the architecture of an existing software system, developers often find inconsistencies between the conceptual and the as-built architecture. To impose the conceptual view on the code often involves large refactoring to remediate architectural violations. This paper reports our experien ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
experience applying large refactoring to remediate an architectural violation in LogicBlox, a large, multilanguage multi-platform system. We used DSM-based analysis in conjunction with a suite of code analysis tools to identify and effect large refactorings. A key insight of this experience is the value

Declarative Reconfigurable Trust Management

by William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
"... In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement of security policies. These systems have different tradeoffs in expressiveness and complexity, depending on the security ..."
Abstract - Cited by 10 (7 self) - Add to MetaCart
and composed in a declarative fashion. We present an initial proof-of-concept implementation of LBTrust using LogicBlox, an emerging commercial Datalog-based platform for enterprise software systems. The LogicBlox language enhances Datalog in a variety of ways, including constraints and meta

SecureBlox: Customizable Secure Distributed Data Processing

by William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo , Molham Aref , 2010
"... We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system specification, allowing easy reconfiguration of a system’s security properties to suit a given execution environment. Our implem ..."
Abstract - Cited by 6 (5 self) - Add to MetaCart
implementation of SecureBlox is a series of extensions to LogicBlox, an emerging commercial Datalog-based platform for enterprise software systems. SecureBlox enhances LogicBlox to enable distribution and static meta-programmability, and makes novel use of existing LogicBlox features such as integrity
Results 1 - 4 of 4