Translating a first-order modal language to relational algebra

Yeb Havinga

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…