Πλοήγηση ανά Συγγραφέας "Kapetanakis, Fanourios"

Τώρα δείχνει 1 - 1 of 1
  • Μικρογραφία εικόνας
    Τεκμήριο
    Ramification problem to database systems in SPARQL language.
    (ΕΛ.ΜΕ.ΠΑ., Σχολή Μηχανικών (ΣΜΗΧ), ΠΜΣ Πληροφορική και Πολυμέσα, 2023-07-21) Kapetanakis, Fanourios; Καπετανάκης, Φανούριος
    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.