Home | Papers | Reports | Projects | Code Fragments | Dissertations | Presentations | Posters | Proposals | Lectures given | Course notes |
<< 2. SQL Puzzles | 4. Some Proofs in Relational Algebra >> |
3. Relational Algebra & Tuple CalculusWerner Van Belle1 - werner@yellowcouch.org, werner.van.belle@gmail.com Abstract : Continues upon the previous excercises buit now using the relational algebra and tuple calculus
Reference:
Werner Van Belle; Relational Algebra & Tuple Calculus; |
De volgende relaties zijn gedefinieerd
Hotel (Hotel_no, Name, Address)
Room (Room_no, Hotel_no, Type, Price)
Booking (Hotel_no, Guest_no, Date_from, Date_to, Room_No)
Guest (Guest_no, Name, Address)
Hierbij bevat
Hotel de hotel details en hotel_no is de primary key
Room bevat de details voor elk hotel en (hotel_no, room_no) is de priamry key
Booking bevat de details van al de reservaties. Hier is de primary key (hotel_no, guest_no, date_from)
Guest bevat is een table van gasten. Primary key is guest_no
Druk de onderstaande queries uit in de relationele algebra
List alle hotels
List alle single rooms met een prijs onder $20 per nacht
List al de namen en addressen van al de gasten
List al de prijzen en types van alle kamers in het ‘Grosvenor Hotel’
List al de gasten die op het ogenblik in het ‘Grosvenor Hotel’ verblijven
List al de details van al de kamers in het ‘Grosvenor Hotel’, inclusief de naam van de gast in de kamer, als de kamer bezet is
List al de gast details (Guest_no, Name, Address) van al de gasten die verblijven in het ‘Grosvenor Hotel’
Gegeven de relaties:
Functies: (Functie, Module, Lijn)
Calls: (Caller, Callee)
De eerste bevat al de thunks die voorkomen in de pico source code. De tweede bevat al de mogelijke calls die een thunk doet naar andere thunks.
List al de functies die direct bereikbaar zijn vanuit een gegeven functie fs
List al de functies die na een stap bereikbaar zijn vanuit een gegeven functies fs
List alle functies die na twee stappen bereikbaar zijn vanuit een gegeven functie fs
List alle functies die na n stappen bereikbaar zijn vanuit een gegeven functie fs
List alle functies die direct of indirect bereikbaar zijn vanuit een gegeven functie fs1
a. Schrijf de tupel georienteerde calculus statements voor de bovenstaande expressies
b. Schrijf de domein gerichte calculus statements voor de bovenstaande expressies
1 Merk op dat hoewel deze reeks geschreven kan worden deze geen geldige expressie is omdat ze niet eindig is.
http://werner.yellowcouch.org/ werner@yellowcouch.org |