Translating a first-order modal language to relational algebra - Computer Science > Logic in Computer ScienceReportar como inadecuado




Translating a first-order modal language to relational algebra - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Yeb Havinga

Fuente: https://arxiv.org/







Documentos relacionados