fact: Definition BookStoreSchema := Query Structure Schema [ relation sBOOKS has schema <sAUTHOR :: W, sTITLE :: W, sISBN :: W> where UniqueAttribute ``sISBN; relation sORDERS has schema <sISBN :: W, sDATE :: W> ] enforcing [attribute sISBN for sORDERS references sBOOKS].
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory