Generation of relations as belief in databases

摘要

A modal logical explanation is presented about how data conveyed by logical formulas generates relations, or tables, in databases as belief sets based on the idea of possible worlds restriction.