2007/05/27 by Yeb Havinga, Havinga, Yeb
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences #H.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #cs.DB #cs.LO
paper · pdf · doi:10.48550/arxiv.0705.3949
arxiv created 2007/05/27 · openalex publication_date 2007/05/27 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.