Affordable Access

Translating a first-order modal language to relational algebra

Authors
  • Havinga, Yeb
Type
Preprint
Publication Date
May 27, 2007
Submission Date
May 27, 2007
Identifiers
arXiv ID: 0705.3949
Source
arXiv
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times