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

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

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