ΠΡΟΒΛΗΜΑΤΑ ΣΥΝΤΟΝΙΣΜΟΥ ΤΑΥΤΟΧΡΟΝΩΝ ΠΡΟΣΠΕΛΑΣΕΩΝ ΣΕ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ

 
Το τεκμήριο παρέχεται από τον φορέα :

Αποθετήριο :
Εθνικό Αρχείο Διδακτορικών Διατριβών
δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*
κοινοποιήστε το τεκμήριο




1986 (EL)
ISSUES IN DATABASE CONCURRENCY CONTROL
ΠΡΟΒΛΗΜΑΤΑ ΣΥΝΤΟΝΙΣΜΟΥ ΤΑΥΤΟΧΡΟΝΩΝ ΠΡΟΣΠΕΛΑΣΕΩΝ ΣΕ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ

Χατζηλάκος, Αθανάσιος

THIS THESIS DEALS WITH SOME ISSUES IN CONCURRENCY CONTROL OF DATABASE ACCESSES. MULTIVERSION SCHEDULERS ARE NOW A WIDELY ACCEPTED METHOD FOR ENHANCING THE PERFORMANCE OF THE CONCURRENCY CONTROL COMPONENT OF A DATABASE. IN THE 2ND CHAPTER OF THE THESIS WE INTRODUCE A NEW NOTION OF MULTIVERSION SERIALIZABILITY (MVSR) BASED ON CONFLICTS (MVCSR) AND DISCUSS ITS RELATION WITH THE WELL KNOWN SINGLE VERSION CONFLICT SERIALIZABILITY (CSR). WE PROVE THAT IT IS NP-COMPLETE TO DECIDE WHETHER A SET OF SCHEDULES IS ON-LINE SCHEDULABLE (OLS). WE INTRODUCE THE CONCEPT OF MAXIMAL OLS SETS AND SHOW THAT NO EFFICIENT SCHEDULER CAN BEDESGNED THAT RECOGNIZES MAXIMAL SUBSETS OF MVSR OR MVCSR. FINALLY A GENERAL FRAMEWORK FOR ALGORITHMS BASED ON MVCSR IS PRESENTED. IN CHAPTER 3 WE SOLVE AN OPEN PROBLEM FOR THE WELL KNOWN CONFLICT GRAPH SCHEDULER: WHEN CAN A NODE BE DELETED FROM THE GRAPH AFTER THE COMPLETION OF THE CORRESPONDING TRANSACTION? WE GIVE A SUFFICIENT AND NECESSARY CONDITION FOR THIS. WE EXAMINE THE DYNAMIC PROBLEM, I.E. REPEATEDLY DELETING NODES AS THE SCHEDULE PROCEEDS AND WE STUDY THE PROBLEM UNDER SEVERAL VARIATIONS OF THE TRANSACTIONS MODEL.
ΣΤΗ ΔΙΑΤΡΙΒΗ ΑΥΤΗ ΜΕΛΕΤΟΥΜΕ ΠΡΟΒΛΗΜΑΤΑ ΣΥΝΤΟΝΙΣΜΟΥ ΤΑΥΤΟΧΡΟΝΩΝ ΠΡΟΣΠΕΛΑΣΕΩΝ ΣΕΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ. ΟΙ ΣΥΝΤΟΝΙΣΤΕΣ ΜΕ ΑΝΤΙΓΡΑΦΑ ΕΙΝΑΙ ΗΔΗ ΕΝΑΣ ΠΛΑΤΙΑ ΑΠΟΔΕΚΤΟΣΜΗΧΑΝΙΣΜΟΣ ΓΙΑ ΒΕΛΤΙΩΣΗ ΤΗΣ ΑΠΟΔΟΣΗΣ ΤΟΥ ΣΥΝΤΟΝΙΣΜΟΥ. ΣΤΟ ΚΕΦΑΛΑΙΟ 2 ΤΗΣ ΔΙΑΤΡΙΒΗΣ ΕΙΣΑΓΟΥΜΕ ΜΙΑ ΝΕΑ ΕΝΝΟΙΑ ΣΕΙΡΙΟΠΟΙΗΣΙΜΟΤΗΤΑΣ ΜΕ ΑΝΤΙΓΡΑΦΑ (MVSR) ΠΟΥ ΒΑΣΙΖΕΤΑΙ ΣΤΗΝ ΕΝΝΟΙΑ ΤΗΣ ΑΝΤΙΘΕΣΗΣ (MVCSR) ΚΑΙ ΜΕΛΕΤΟΥΜΕ ΤΗ ΣΧΕΣΗ ΤΗΣ ΜΕ ΤΗΝ ΚΛΑΣΣΙΚΗ ΕΝΝΟΙΑ ΤΗΣ ΑΝΤΙΘΕΣΗΣ ΧΩΡΙΣ ΑΝΤΙΓΡΑΦΑ (CSR). ΑΠΟΔΕΙΚΝΥΟΥΜΕ ΟΤΙ ΤΟ ΠΡΟΒΛΗΜΑ ΤΟΥ ΑΝ ΕΝΑ ΣΥΝΟΛΟ ΧΡΟΝΙΚΩΝ ΕΙΝΑΙ ΕΠΙΤΟΠΟΥ ΣΥΝΤΟΝΙΣΙΜΟ (ΕΤΣ) ΕΙΝΑΙ ΠΛΗΡΕΣ ΣΤΟΝΡ. ΕΙΣΑΓΟΥΜΕ ΤΗΝ ΕΝΝΟΙΑ ΤΩΝ ΜΕΓΙΣΤΩΝ ΕΤΣ ΣΥΝΟΛΩΝ ΧΡΟΝΙΚΩΝ ΚΑΙ ΑΠΟΔΕΙΚΝΥΟΥΜΕΟΤΙ ΕΙΝΑΙ ΑΔΥΝΑΤΗ Η ΚΑΤΑΣΚΕΥΗ ΑΠΟΔΟΤΙΚΩΝ ΣΥΝΤΟΝΙΣΤΩΝ ΠΟΥ ΝΑ ΑΝΑΓΝΩΡΙΖΟΥΝ ΜΕΓΙΣΤΑ ΕΤΣ ΥΠΟΣΥΝΟΛΑ ΤΟΥ MVSR # ΤΟΥ MVCSR. ΤΕΛΟΣ ΠΑΡΟΥΣΙΑΖΟΥΜΕ ΕΝΑ ΓΕΝΙΚΟ ΑΛΓΟΡΙΘΜΙΚΟ ΠΛΑΙΣΙΟ ΓΙΑ ΣΥΝΤΟΝΙΣΤΕΣ MVCSR. ΣΤΟ 3 ΚΕΦΑΛΑΙΟ ΛΥΝΟΥΜΕ ΤΟ ΠΡΟΒΛΗΜΑ ΤΟΥ ΚΛΕΙΣΙΜΑΤΟΣ ΔΟΣΟΛΗΨΙΩΝ ΓΙΑ ΤΟ ΓΝΩΣΤΟ ΣΥΝΤΟΝΙΣΤΗ ΓΡΑΦΟΥ ΑΝΤΙΘΕΣΕΩΝ. ΤΟ ΠΡΟΒΛΗΜΑ ΕΙΝΑΙ: ΠΟΤΕ ΜΠΟΡΕΙ ΝΑ ΔΙΑΓΡΑΦΕΙ ΕΝΑΣ ΚΟΜΒΟΣ ΑΦΟΥ Η ΑΝΤΙΣΤΟΙΧΗ ΔΟΣΟΛΗΨΙΑ ΕΧΕΙ ΟΛΟΚΛΗΡΩΘΕΙ; ΒΡΙΣΚΟΥΜΕ ΜΙΑ ΑΝΑΓΚΑΙΑ ΚΑΙ ΙΚΑΝΗ ΣΥΝΘΗΚΗ ΓΙ'ΑΥΤΟ. ΜΕΛΕΤΟΥΜΕ ΤΟ ΔΥΝΑΜΙΚΟ ΠΡΟΒΛΗΜΑ ΤΗΣ ΚΑΤΕΠΑΝΑΛΗΨΗ ΔΙΑΓΡΑΦΗΣ ΚΟΜΒΩΝ ΟΣΟ ΠΡΟΧΩΡΕΙ ΤΟ ΧΡΟΝΙΚΟ ΚΑΙ ΜΕΛΕΤΟΥΜΕ ΤΟ ΠΡΟΒΛΗΜΑ ΤΟΥ ΚΛΕΙΣΙΜΑΤΟΣ ΓΙΑ ΟΡΙΣΜΕΝΕΣ ΠΑΡΑΛΛΑΓΕΣ ΤΟΥ ΜΟΝΤΕΛΟΥ ΤΩΝ ΔΟΣΟΛΗΨΙΩΝ.

ΠΛΗΡΟΤΗΤΑ ΣΤΟ NP
MULTIVERSION CONCURRENCY
ΘΕΩΡΙΑ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ
Βάσεις δεδομένων
ΣΥΝΤΟΝΙΣΜΟΣ ΠΡΟΣΠΕΛΑΣΕΩΝ
Συντονιστές
Schedulers
ΔΙΑΓΡΑΦΗΔΟΣΟΛΗΨΙΩΝ
ΣΥΝΤΟΝΙΣΜΟΣ ΜΕ ΑΝΤΙΓΡΑΦΑ
Πληροφορική
CONFLICT SERIALIZABILITY
CONCURRENCY CONTROL
NP - completeness
ΣΕΙΡΙΟΠΟΙΗΣΙΜΟΤΗΤΑ ΑΝΤΙΘΕΣΕΩΝ
CONFLICT GRAPH SCHEDULER
ΣΥΝΤΟΝΙΣΤΗΣ ΓΡΑΦΟΥ ΑΝΤΙΘΕΣΕΩΝ
DATABASE SYSTEMS
DELETING TRANSACTIONS

Εθνικό Κέντρο Τεκμηρίωσης (ΕΚΤ) (EL)
National Documentation Centre (EKT) (EN)

1986


Πανεπιστήμιο Πατρών
University of Patras



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.