Translating a first-order modal language to relational algebra - Computer Science > Logic in Computer ScienceReport as inadecuate




Translating a first-order modal language to relational algebra - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

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



Author: Yeb Havinga

Source: https://arxiv.org/







Related documents