Translating a first-order modal language to relational algebra

TL;DR

This paper presents a method to translate a first-order modal language into relational algebra, enabling modal logic queries to be executed within relational databases, bridging modal logic and database query languages.

Contribution

It introduces a novel translation framework from modal logic components to relational database schemas and queries, facilitating modal query processing in databases.

Findings

Mapping from modal structures to database schemas

Translation of modal queries into relational algebra

Enabling modal logic queries in relational databases

Abstract

This paper is about Kripke structures that are inside a relational database and queried with a modal language. At first the modal language that is used is introduced, followed by a definition of the database and relational algebra. Based on these definitions two things are presented: a mapping from components of the modal structure to a relational database schema and instance, and a translation from queries in the modal language to relational algebra queries.