Databasschemadesign: Cykler och nedbrytning. - Mot att utforma acykliska databasscheman. - Minimal täckning av acykliska databasscheman. - Eliminera cykler i databasscheman. - En nedbrytningsmetod för cykliska databaser. - Horisontell nedbrytning för att hantera undantag från funktionella beroenden. - Begränsningar för integritet. - Kompilera villkorskontrollprogram från första ordningens formler. - Tillämpningar av ändlig differentiering för att kontrollera databasintegritet och optimering av frågor/transaktioner. - En familj av temporala språk för beskrivning av övergångsbegränsningar. - Ofullständig information. - Icke-monotona resonemang och databaser. - Om algebraisk frågebehandling i logiska databaser. - Abstrakta datatyper för formella specifikationer och vyer. - Stegvis konstruktion av algebraiska specifikationer. - Vyernas egenskaper och deras implementering. - Frågespråksteori. - Om oavgörbarheten av ekvivalensproblem för relationella uttryck. - Namn Index. - Lista över referenser. - Adresser till medverkande författare. Språk: Engelska