fact: Definition BuildForeignKeyConstraints {n} (namedSchemas : Vector.t RawSchema n) (rel1 rel2 : _) attr1 attr2 {tupmap} := (existT (crossRelationProdR namedSchemas) (rel1, rel2) (ForeignKey_P attr1 attr2 tupmap)).
imports: Coq.Lists.List Coq.Strings.String Fiat.Common Coq.Arith.Arith Coq.Logic.FunctionalExtensionality Coq.Sets.Ensembles Fiat.Common.StringBound Fiat.QueryStructure.Specification.Representation.Notations Fiat.QueryStructure.Specification.Representation.Heading Fiat.QueryStructure.Specification.Representation.Tuple Fiat.QueryStructure.Specification.Representation.Schema Fiat.QueryStructure.Specification.Representation.Relation