fact: Definition StocksSchema := Query Structure Schema [ relation STOCKS has schema <STOCK_CODE :: StockCode, FULL_NAME :: string, MARKET :: Market, TYPE :: StockType> where attributes [FULL_NAME; MARKET; TYPE] depend on [STOCK_CODE]; relation TRANSACTIONS has schema <STOCK_CODE :: nat, DATE :: Date, TIME :: Timestamp, PRICE :: N, VOLUME :: N> where attributes [PRICE] depend on [STOCK_CODE; TIME] ] enforcing [attribute STOCK_CODE for TRANSACTIONS references STOCKS].
imports: Fiat.QueryStructure.Automation.MasterPlan