generalize constraints in membership with quantification2026-03-04T03:48:10+00:00Marcos Maguetamaguetamarcos@gmail.com2026-03-04T03:48:10+00:00a02a0cc86ccc2ca3e05a57debc34ac47379cf3ea
2OP Constraints and manipulation2026-03-03T03:09:46+00:00Marcos Maguetamaguetamarcos@gmail.com2026-03-03T03:09:46+00:0024e5e531134fbb8757151a68438d0b8426c91c4c
Refactor constraint system (#49)2026-01-03T23:58:59+00:00Marcos Maguetamaguetamarcos@gmail.com2026-01-03T23:58:59+00:00a138f1c57ef376a3f2521ce1f8877ed97bc3e654
* fix dialyzer and clean code
* rework on validation criterias and mnesia-aware domains
* [refactor] add comparison relations to database startup
* fix nix build
* fix docs for edoc
* fix dialyzer and clean code
* rework on validation criterias and mnesia-aware domains
* [refactor] add comparison relations to database startup
* fix nix build
* fix docs for edoc
1OPs, bound context and domain constraints (#46)2026-01-01T00:07:26+00:00Marcos Maguetamaguetamarcos@gmail.com2026-01-01T00:07:26+00:00c9b69ab3ae238da966bcba3d3e86f5c27a0df922
Infinite domains and membership rework (#22)2025-12-04T03:44:06+00:00Marcos Maguetamaguetamarcos@gmail.com2025-12-04T03:44:06+00:00c4e1b573dacd67277ea9df1751574ef2dfb44601
Joins with provenance and lineage (#11)2025-11-25T01:40:22+00:00Marcos Maguetamaguetamarcos@gmail.com2025-11-25T01:40:22+00:0062a017ce95ad2f6d9445b5b96f7aeba3f7c0d42f