fact: Definition AlbumSchema := Query Structure Schema [ relation PHOTOS has schema <IMAGE_DATA :: DataT, PERSONS :: list string, EVENT_NAME :: string>; relation EVENTS has schema <EVENT_NAME :: string, DATE :: nat> ] enforcing [attribute EVENT_NAME for PHOTOS references EVENTS].
imports: Fiat.QueryStructure.Automation.MasterPlan