Typesysteem v. IDP4

  • Oneindig grote set domeinelementen
  • Predicaten identificeren partities van dit domein
  • Een aantal ingebouwde types:

    • integers, rationals

 

Person(Matthias).
Person(Jo).
¬Person(België).

Constraints:

{
   Krr(Jo).
   Krr(Matthias).
   ...
}

Definitie:

  • Over- of onderschatting:
    • Ook Person(tafel)
  • Eenduidig bepaald

Hoe?

vb.

Vocabulary V {
  type AttrSrc  
  type Stakeholder isa AttrSrc
  type User isa Stakeholder
  type Organization isa Stakeholder
}

Structure S : V {
  AttrSrc = { 
    User;
    Government; University; WS; PS;
    BasicIDCard; PrivIDCard; StudentCard;
    BasicPurchaseServ; PrivPurchaseServ; 
    BasicReductionPurchaseServ; 
    PrivReductionPurchaseServ; DeliveredServ;
    DeliveryRequestServ; DeliveryServ;
  }
  
  Stakeholder = {
    User;
    Government; University; WS; PS;
  }
  
  User = {
    User;
  }
  
  Organization = {
    Government; University; WS; PS;
  }
}
Vocabulary {
    AttrSrc
    User
    Organization
    Stakeholder
}

{
    AttrSrc(User).
    ...
    AttrSrc(DeliveryRequestServ).
    AttrSrc(DeliveryServ).

    User(User).

    Organization(Government).
    Organization(University).
    Organization(WS).
    Organization(PS).

    Stakeholder(x) <- User(x).
    Stakeholder(x) <- Organization(x).
}

!x : Stakeholder(x) => Location(x,Londen).
?x : Stakeholder(x) & Secure(x).
naam tel.
Matthias 031024390
Jo 302492030
naam tel.
Matthias 031024390
Ingmar

DB1

DB2

p1

p2

p3

p1_db1

p2_db1

p1_db2

p2_db2

constrDB1

constrDB2

Made with Slides.com