LogicBlox 4.0.2

Release Date: September 2nd 2013

What's New

LogicBlox 4.0.2 includes a further clean up to the semantics of negated formulas. The compiler guarantees that negated formulas are translated in a way that respects the quantifiers of variables. In the case that a complex, negated formula cannot be evaluated natively by the runtime, or cannot be supported by the compiler with a rewrite, the formula will be rejected at compile time.

Other improvements include:

  • Added conversion function int:decimal:convert to allow conversion between two simplified numeric types introduced since 4.0.
  • Improvements to the optimizer that dramatically lowered the amount of memory consumption for small rules.
  • General stability improvements.

Corrected Issues

The issues listed below have been corrected since the 4.0.1 release.

Database Runtime

  • Fixed handling of transaction:id and datetime:now. transaction:id is a predicate containing the identifier of the current transaction, while datetime:now is a predicate containing the time at which a transaction is being evaluated. Both predicates were errorneously keeping data from previous transactions, rather than reflecting the fresh values of the active transactions. The issue has now been fixed.
  • Fixed minor bugs in the support for inactive and afterfixpoint blocks when loading from separately compiled projects, and when executed via execblock.

Services Framework

  • lb-services now waits for bloxweb to start before continuing. A timeout is introduced, to make sure that lb-services do not start, if bloxweb takes longer than the timeout.

    Tip

    The timeout is configurable in bloxweb.config, using the startup_timeout configuration option. The default timeout is set to 60 seconds.

  • Resolved a security issue where the BloxWeb login service was allowed to be used with the SAML authentication realm. The security vulnerability addressed by this release only affects applications that are using SAML authentication.

Installation and Upgrade information

Installing LogicBlox 4.0.2 is as simple as following the steps outlined below:

  1. Download the installation package
  2. Extract the tarball in <YourPreferredInstallDirectory>
  3. Run the following command:
    source <YourPreferredInstallDirectory>/logicblox-4.0.2/etc/profile.d/logicblox.sh
    
    NOTE: this script will set all the necessary environment variables. You might want to add this command to your .bashrc.

Release Information

Table 7. 

Server requirements
Operating System: 64 bit Linux
Java Runtime Environment 1.7, update 11 or higher
Python 2.6.4 or higher