Release v0.6.0

[0.6.0] - 2025-02-03

Added

• IncrementalDatalogWithNegation
• notebooks/stratified_negation.ipynb demonstrating both stratified and semi positive Datalog.

Release v0.5.0

[0.5.0] - 2024-10-13

Fixed

• LiftedDelay not being strict. This was a huge bug. You would only have come across it if you were doing something with nested streams though.

Changed

• Stream. From List to OrderedDict. Does not ever store identity elements.
• ZSet addition switched from nested loop to python-native union.

Added

• The RDFS reasoning algorithm
• Notebooks showcasing using the library

Release v0.4.1

[0.4.1] - 2024-10-07

Fixed

• A nasty bug that lead to the wrong evaluation of streams that are not zero almost everywhere (but are something other than zero almost everywhere, such as when applying the lifted integrate operator over streams of streams)

Changed

• Simplified addition for Lazy ZSets

Release v0.4.0

[0.4.0] - 2024-10-06

Fixed

• Timestamps. They were almost completely broken :) Do yourself a favour and do not use any versions of PyDBSP prior to this. They will be pulled out.

Changed

• Timestamps are now based on lattices
• IncrementalReasoner and its indexed counterpart now match DYRE and DYRE^I as described in the Datalog 2.0@2024 paper
• Refactored almost everything
• Each operator's step now attempts to guess whether the fixed point has been reached or not

Added

• The incremental graph reachability algorithm as described in the DBSP paper
• Lazy ZSets
• More tests