Translating a first-order modal language to relational algebra

Simple item page
dc.creatorHavinga, Yeb
dc.date2007-05-27
dc.date.accessioned2026-07-07T08:03:21Z
dc.date.available2026-07-07T08:03:21Z
dc.descriptionThis 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.
dc.identifierhttps://arxiv.org/abs/0705.3949
dc.identifierhttp://arxiv.org/abs/0705.3949
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/129549
dc.subjectLogic in Computer Science
dc.subjectDatabases
dc.subjectH.2.3; I.2.4
dc.titleTranslating a first-order modal language to relational algebra
dc.typetext

Files

Collections

arXiv