Följande avbildningsregler gäller:
typ (1,m,t,p)
kod (1,1,t,p)
flyger (m,m,t,p)
äger (m,1,p,p)
anställer (m,m,t,t)
kategori (1,m,t,p)
pnr (1,1,t,p)
namn (1,1,t,p)
ges_av (1,m,t,t)
tid (1,m,t,p)
från (1,m,t,p)
till (1,m,t,p)
Den lexikala typen Plantyp har en ändlig extension {propeller, jet}.
Den lexikala typen Perskat har en ändlig extension {pilot, kabin, mark}.
a) Transformera schemat ovan med hjälp av de transformationer som beskrivs i artikeln. Ett krav på Din lösning är att det inte skall vara möjligt att applicera någon transformation på det schema Du ger som svar.
b) Visa att schemana i fig. 16 och fig. 18 i artikeln är ekvivalenta genom att använda definitionen av schemaekvivalens. Du får alltså inte hänvisa till Proposition 4.1.
Några ordförklaringar: Låt S vara en mängd av satser. Herbranduniversumet för S är mängden av alla termer som kan konstrueras utifrån de konstanter och funktionssymboler som förekommer i S. En Herbrandtolkning för S är en tilldelning av sant och falskt till de formler som kan konstrueras med hjälp av prdikatsymbolerna i S och Herbranduniversumet för S. Man kan tänka på en Herbrandtolkning som en mängd grunda (d.v.s. variabelfria) formler.