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