%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% ENTITY-RELATIONSHIP-RELATIONAL TRANSFORMATION EXAMPLE
% Author: Jesus Almendros and Luis Iribarne. March 2012.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%









%COMPLETION MODEL B

mmB:table(A,B):-mmB:has(B,A).

mmB:has_key(A,B):-mmB:is_key(B,A).

mmB:has_foreign(A,B):-mmB:is_foreign(B,A).

mmB:has_col(A,B):-mmB:is_col(B,A).