Translating a first-order modal language to relational algebra

Details Translating a first-order modal language to relational algebra Translating a first-order modal language to relational algebra

2007-05-27

arxiv.org/abs/0705.3949v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Translating a first-order modal language to relational algebra does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Translating a first-order modal language to relational algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Translating a first-order modal language to relational algebra will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-99185