Prolog & SQL

• Every predicate dose not correspond to one schema

  • Normalization

• Each predicate corresponds to

  a part of schema or the combination of schemata
  
  • give the predicate-schema transformation rule

predicate-schema transformation rule

class(A,B):- animals(A,B,_,_,_,_,_,_).

milk(A):- animals(A,_,_,_,yes,_,_,_).

milk_Leg(A):- animals(A,_,_,_,yes,_,_,_),

animals(A,_,_,L,_,_,_,_), Lɬ.

animals (

name varchar(15),

class varchar(15),

cover varchar(10),

legs integer,

milk varchar(5),

habitat varchar(15),

eggs varchar(5),

gills varchar(5) )

Relational schema

前のｽﾗｲﾄﾞ

次のｽﾗｲﾄﾞ

最初のｽﾗｲﾄﾞに戻る

ｸﾞﾗﾌｨｯｸｽの表示