Θέματα ορθότητας ταυτόχρονων αλγορίθμων σε δομές ευρετηρίου

• Κύριος συγγραφέας: Θεοδωρόπουλος, Κωνσταντίνος
• Άλλοι συγγραφείς: Κοσμαδάκης, Σταύρος
• Έκδοση: 2007
• Θέματα: Ταυτοχρονισμός; Βάσεις δεδομένων; Ορθότητα προγραμμάτων; Concurrency; Databases; Program correctness; 005.1

Η εργασία αυτή αφορά την μελέτη ταυτόχρονων (concurrent) αλγορίθμων σε δομές ευρετηρίου (δευτερεύουσας μνήμης) καθώς και τα μοντέλα ορθότητάς τους. Οι δομές ευρετηρίου που θα μελετήσουμε είναι τα Β-δέντρα κατάλληλα τροποποιημένα έτσι ώστε να μεγιστοποιείται η απόδοσή τους σε περιβάλλον ταυτοχρονισμο...