Μια συναλλαγή είναι μια ομάδα λειτουργιών που αντιμετωπίζεται ως μια μοναδική, αδιαίρετη μονάδα — όλες επιτυγχάνουν μαζί (COMMIT) ή όλες αποτυγχάνουν μαζί (ROLLBACK). Οι συναλλαγές εγγυώνται τις ιδιότητες ACID, διασφαλίζοντας ότι τα δεδομένα παραμένουν σωστά και συνεπή ακόμα και με αποτυχίες ή ταυτόχρονη πρόσβαση.
;
accounts balance balance id ;
accounts balance balance id ;
;
Το κλασικό παράδειγμα: μια μεταφορά χρημάτων. Τόσο η χρέωση όσο και η πίστωση πρέπει να συμβούν, ή καμία — διαφορετικά χάνονται ή δημιουργούνται χρήματα. Μια συναλλαγή εγγυάται αυτό: σε περίπτωση σφάλματος, ROLLBACK αναιρεί όλες τις αλλαγές, αφήνοντας τη βάση δεδομένων όπως ήταν πριν από οποιαδήποτε ενέργεια.
A — ATOMICITY → all operations succeed or all fail (no partial transactions)
C — CONSISTENCY → the database moves from one valid state to another (constraints hold)
I — ISOLATION → concurrent transactions don't interfere (as if run sequentially)
D — DURABILITY → once committed, changes survive crashes (persisted permanently)
Αυτές οι ιδιότητες είναι αυτό που κάνει τις σχεσιακές βάσεις δεδομένων αξιόπιστες για κρίσιμα δεδομένα.
Without transactions, a failure mid-way leaves data in an inconsistent state:
money debited from one account but not credited to another → data corruption.
Atomicity (all-or-nothing) prevents this — the cornerstone of data integrity for
any multi-step operation (transfers, orders with line items, etc.).
When many transactions run concurrently, ISOLATION controls what they can see of
each other's uncommitted changes. Isolation LEVELS (Read Committed, Repeatable Read,
Serializable) trade off consistency vs performance — higher isolation = more correct
but more locking/contention. (A deeper topic on its own.)
Οι συναλλαγές και οι ιδιότητες ACID είναι θεμελιώδεις για αξιόπιστες βάσεις δεδομένων — είναι αυτό που εγγυάται ότι τα δεδομένα παραμένουν σωστά και συνεπή ακόμα και με αποτυχίες και ταυτόχρονη πρόσβαση, το οποίο είναι απαραίτητο για οποιαδήποτε εφαρμογή που χειρίζεται σημαντικά δεδομένα, γι' αυτό είναι σημαντικό να τα κατανοείς.
Τη βασική αξία αποτελεί η ατομικότητα (ολοκληρωμένη ή καμία): οποιαδήποτε λειτουργία που περιλαμβάνει πολλά βήματα (μια μεταφορά χρημάτων, δημιουργία παραγγελίας με γραμμές, ενημέρωση σχετικών εγγραφών) πρέπει να επιτύχει πλήρως ή καθόλου — διαφορετικά μια αποτυχία στη μέση της λειτουργίας αφήνει τη βάση δεδομένων σε ένα διεφθαρμένο, ασυνεπές κατάσταση (το κλασικό παράδειγμα: χρήματα χρεωθέντα αλλά όχι πιστωθέντα).
Οι συναλλαγές εγγυώνται αυτό με COMMIT/ROLLBACK, καθιστώντας τις απαραίτητες για την ακεραιότητα των δεδομένων σε πολυβάθμιες λειτουργίες.
Η κατανόηση των πλήρων ιδιοτήτων ACID — Ατομικότητα (ολοκληρωμένη ή καμία), Συνέπεια (έγκυρες καταστάσεις), Απομόνωση (οι ταυτόχρονες συναλλαγές δεν παρεμβαίνουν), και Ανθεκτικότητα (οι δεσμευμένες αλλαγές επιζούν σε καταστροφές) — εξηγεί γιατί οι σχεσιακές βάσεις δεδομένων είναι αξιόπιστες για κρίσιμα δεδομένα (χρηματοοικονομικά, παραγγελίες, απογραφή).
Η γνώση ότι η απομόνωση ελέγχει τη συμπεριφορά του ταυτοχρονισμού (με επίπεδα απομόνωσης που κάνουν συναλλαγές μεταξύ συνέπειας και επιδόσεων) συνδέεται με βαθύτερα θέματα ταυτοχρονισμού.
Επειδή η ακεραιότητα των δεδομένων είναι κρίσιμη για αξιόπιστες εφαρμογές, και επειδή οι συναλλαγές (που παρέχουν ατομικότητα και τις εγγυήσεις ACID) είναι ο μηχανισμός που διασφαλίζει ότι οι πολυβάθμιες λειτουργίες δεν διαφθείρουν τα δεδομένα και ότι η βάση δεδομένων παραμένει συνεπής με αποτυχίες και ταυτοχρονισμό, η κατανόηση των συναλλαγών και ACID είναι σημαντική, θεμελιώδης γνώση για την κατασκευή εφαρμογών με αξιόπιστα δεδομένα — είναι ένας πυλώνας της αξιοπιστίας βάσεων δεδομένων και ένα κοινό, σημαντικό θέμα συνέντευξης που αποδεικνύει κατανόηση του πώς οι βάσεις δεδομένων εγγυώνται την ορθότητα.