Modal logics in the theory of relational databases

DOI10.1016/0020-0190(95)00186-7zbMath0875.68355OpenAlexW2064089902MaRDI QIDQ1350737

O. Diekmann

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00186-7

zbMATH Keywords

DatabasesModal logicRelational databasesFormalism

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Unnamed Item
• Unnamed Item
• Information systems theoretical foundations
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
• A relational model of data for large shared data banks