Ramification problem to database systems in SPARQL language.

Abstract

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.

Το θέμα της διακλάδωσης αφορά τον προσδιορισμό των έμμεσων επιπτώσεων των δραστηριοτήτων. Μια λύση σε αυτό το πρόβλημα στα συστήματα βάσεων δεδομένων επιτρέπει τον συλλογισμό σχετικά με την δυναμική της βάσης δεδομένων και την επαλήθευση των ιδιοτήτων συνέπειας. Αυτό το πρόβλημα γίνεται όλο και πιο περίπλοκο στις χρονικές βάσεις δεδομένων και μέχρι σήμερα δεν έχει προταθεί καμία κατάλληλη λύση. Στην εργασία αυτή, εξετάζουμε αυτές τις δύο προκλήσεις στο πλαίσιο των χρονικών βάσεων δεδομένων και παρέχουμε μια λύση με πολυωνυμική πολυπλοκότητα βασισμένη στη γλώσσα του Λογισμού της Κατάστασης. Αυτή η μέθοδος επεκτείνει προηγούμενες προτάσεις για την αντιμετώπιση παρόμοιων προβλημάτων σε παραδοσιακές (μη χρονικές) βάσεις δεδομένων.