Ramification problem to database systems in SPARQL language.
Φόρτωση...
Ημερομηνία
2023-07-21
Συγγραφείς
Τίτλος Εφημερίδας
Περιοδικό ISSN
Τίτλος τόμου
Εκδότης
ΕΛ.ΜΕ.ΠΑ., Σχολή Μηχανικών (ΣΜΗΧ), ΠΜΣ Πληροφορική και Πολυμέσα
H.M.U., School of Engineering (ScENG) MSc in Informatics & Multimedia
H.M.U., School of Engineering (ScENG) MSc in Informatics & Multimedia
Επιβλέπων
Περίληψη
The topic of ramification is concerned with determining the indirect
implications of activities. A solution to this problem in database systems allows for
reasoning about database dynamics and verification of consistency properties. This
problem is growing increasingly complex in temporal databases, and no suitable
solution has yet been proposed. We examine these two challenges in the context of
temporal databases in this paper and provide a polynomial complexity solution based
on the Situation Calculus language. This method expands on previous proposals for
dealing with comparable problems in traditional (non-temporal) databases.
Το θέμα της διακλάδωσης αφορά τον προσδιορισμό των έμμεσων επιπτώσεων των δραστηριοτήτων. Μια λύση σε αυτό το πρόβλημα στα συστήματα βάσεων δεδομένων επιτρέπει τον συλλογισμό σχετικά με την δυναμική της βάσης δεδομένων και την επαλήθευση των ιδιοτήτων συνέπειας. Αυτό το πρόβλημα γίνεται όλο και πιο περίπλοκο στις χρονικές βάσεις δεδομένων και μέχρι σήμερα δεν έχει προταθεί καμία κατάλληλη λύση. Στην εργασία αυτή, εξετάζουμε αυτές τις δύο προκλήσεις στο πλαίσιο των χρονικών βάσεων δεδομένων και παρέχουμε μια λύση με πολυωνυμική πολυπλοκότητα βασισμένη στη γλώσσα του Λογισμού της Κατάστασης. Αυτή η μέθοδος επεκτείνει προηγούμενες προτάσεις για την αντιμετώπιση παρόμοιων προβλημάτων σε παραδοσιακές (μη χρονικές) βάσεις δεδομένων.
Το θέμα της διακλάδωσης αφορά τον προσδιορισμό των έμμεσων επιπτώσεων των δραστηριοτήτων. Μια λύση σε αυτό το πρόβλημα στα συστήματα βάσεων δεδομένων επιτρέπει τον συλλογισμό σχετικά με την δυναμική της βάσης δεδομένων και την επαλήθευση των ιδιοτήτων συνέπειας. Αυτό το πρόβλημα γίνεται όλο και πιο περίπλοκο στις χρονικές βάσεις δεδομένων και μέχρι σήμερα δεν έχει προταθεί καμία κατάλληλη λύση. Στην εργασία αυτή, εξετάζουμε αυτές τις δύο προκλήσεις στο πλαίσιο των χρονικών βάσεων δεδομένων και παρέχουμε μια λύση με πολυωνυμική πολυπλοκότητα βασισμένη στη γλώσσα του Λογισμού της Κατάστασης. Αυτή η μέθοδος επεκτείνει προηγούμενες προτάσεις για την αντιμετώπιση παρόμοιων προβλημάτων σε παραδοσιακές (μη χρονικές) βάσεις δεδομένων.