fact: Definition RosMasterSchema := Query Structure Schema [ relation sNODES has schema <sNODE_ID :: string, sNODE_API :: string> where attributes [sNODE_API] depend on [sNODE_ID]; relation sTOPICS has schema <sTOPIC :: string, sTOPIC_TYPE :: string> where attributes [sTOPIC_TYPE] depend on [sTOPIC]; relation sPARAMS has schema <sKEY :: string, sVALUE :: any> where attributes [sVALUE] depend on [sKEY]; relation sSUBSCRIPTIONS has schema <sNODE_ID :: string, sTOPIC :: string> where DuplicateFree; relation sPARAMSUBSCRIPTIONS has schema <sNODE_ID :: string, sKEY :: string> where DuplicateFree; relation sPUBLICATIONS has schema <sNODE_ID :: string, sTOPIC :: string> where DuplicateFree; relation sSERVICES has schema <sNODE_ID :: string, sSERVICE :: string, sSERVICE_API :: string> where attributes [sNODE_ID; sSERVICE_API] depend on [sSERVICE] ] enforcing [ attribute sNODE_ID for sSUBSCRIPTIONS references sNODES; attribute sTOPIC for sSUBSCRIPTIONS references sTOPICS; attribute sNODE_ID for sPUBLICATIONS references sNODES; attribute sTOPIC for sPUBLICATIONS references sTOPICS; attribute sNODE_ID for sPARAMSUBSCRIPTIONS references sNODES; attribute sKEY for sPARAMSUBSCRIPTIONS references sPARAMS ].
imports: Fiat.QueryStructure.Automation.MasterPlan Fiat.QueryStructure.Specification.Constraints.DuplicateFree