2OP Constraints and manipulation

1 files changed, 8 insertions, 3 deletions

diff --git a/include/operations.hrl b/include/operations.hrl
index 2afb27b..f6fa4c0 100644
--- a/include/operations.hrl
+++ b/include/operations.hrl
@@ -30,15 +30,21 @@
 %% Attribute constraint (1OP - 1st Order Property)
 %% Constrains values of a specific attribute in a relation
 -record(attribute_constraint, {
+    name :: atom(),                % Stable identifier for lifecycle ops
     attribute :: atom(),              % Attribute name (e.g., salary)
     domain :: atom() | #relation{},   % Domain or relation this attribute draws from
     constraints :: [term()]           % Additional relational constraints beyond domain membership
 }).
 
+-record(tuple_constraint, {
+    name :: atom(),                % Stable identifier for lifecycle ops
+    constraints :: [term()]
+}).
+
 %% Relation constraints - holds all types of constraints for a relation
 -record(relation_constraints, {
-    attribute_constraints :: #{atom() => #attribute_constraint{}},  % 1OPs - attribute constraints
-    tuple_constraints :: [term()],                                   % 2OPs - inter-attribute constraints (future)
+    attribute_constraints :: #{atom() => [#attribute_constraint{}]}, % 1OPs - per-attribute named constraints
+    tuple_constraints :: [#tuple_constraint{}],                     % 2OPs - inter-attribute constraints
     multi_tuple_constraints :: [term()]                             % 3OPs - multi-tuple constraints (future)
 }).
 
@@ -101,4 +107,3 @@
   | {sort, fun(), lineage_op()}                         % Sort operation
   | {take, pos_integer(), lineage_op()}                 % Limit operation
   | {aggregate, atom(), atom(), lineage_op()}.          % Aggregation (future)
-