differential-datalog
differential-datalog copied to clipboard
vmware
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not writ...
The following program: ``` input relation X(x: bit, y: bit) output relation Y(x: bit, y: bit, z: bit) Y(x, y, x
The generated Cargo.toml files contain dependencies that don't look production ready. ``` #differential-dataflow = "0.11.0" differential-dataflow = { git = "https://github.com/ddlog-dev/differential-dataflow", branch = "ddlog-4" } #timely = "0.11" timely =...
I'm using the Rust API to interact with a DDlog program and I keep getting the following error when I try to delete any relation at runtime (using just `hddlog.apply_updates(&mut...
I consistently get the following linker error on two different Fedora systems with tip of master: ``` /home/bpfaff/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.4/lib/ghc-8.8.4/unix-2.7.2.2/libHSunix-2.7.2.2.a(Files.o):ghc_2.c:function ghczuwrapperZC1ZCunixzm2zi7zi2zi2ZCSystemziPosixziFilesZCmknod: error: undefined reference to '__xmknod' ``` It works OK if I...
Suppose you have the following tables: ``` create table t1(column1 integer, column2 boolean) create table t2(column1 integer) ``` The following view fails to compile: ``` create view v0 as SELECT...
* Started trying to remove `num` from the dependency tree * Removed some of the "default dependencies" from generated crates, this should allow better compilation scheduling since crates don't have...
We currently use a private snapshot of the state of input relations to implement set semantics (ignore or fail on duplicates). We should use DD's [`upsert` operator](https://github.com/frankmcsherry/blog/blob/master/posts/2020-03-26.md) instead, which should...
`XFormArrangement` and `XFormCollection`, as well as `Relation` and `Arrangement` should contain a field pointing to the source code fragment(s). This information can be used to generate more informative profiles. cc...
This is a feature for the generated rust code. When enabling this feature the code will always produce correct results. Unlike the `checked_weights` feature, this feature will get slower when...
HI guys, Consider the following program: ``` input relation Z(a:string) relation PQRI(a:string) relation PLEY(a:string) relation NFUV(a:string) output relation OUT(a:string) PQRI(v) :- Z(v), Z(nbj). PLEY(o) :- PQRI(x), Z(o), Z(x). NFUV(q) :-...
